Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Севернее и северо-западнее Невеля наши войска вели наступательные бои, в ходе которых заняли более 40 населенных пунктов и среди них Верхитно, Лахны, Барканы, Бугаевка, Кубок, Рожново, Жуково.
КАЙКО Такэси (1930-89) , японский писатель. В повести "Гиганты и игрушки" (1957) - проблема отчуждения человека в современном мире; роман "Японская трехгрошовая опера" (1959) - сатира на послевоенную Японию, "Горькое похмелье" (1973) - о внутреннем состояни...