Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Севернее и северо-западнее Невеля наши войска вели наступательные бои, в ходе которых заняли более 40 населенных пунктов и среди них Верхитно, Лахны, Барканы, Бугаевка, Кубок, Рожново, Жуково.