Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Севернее и северо-западнее Невеля наши войска вели наступательные бои, в ходе которых заняли более 40 населенных пунктов и среди них Верхитно, Лахны, Барканы, Бугаевка, Кубок, Рожново, Жуково.
БИОХИМИИ И ФИЗИОЛОГИИ МИКРООРГАНИЗМОВ ИНСТИТУТ (ИБФМ) РАН , основан в 1965 в Москве, с 1966 в Пущинском научном центре РАН (Московская обл.). Исследования по биохимии и физиологии микроорганизмов, молекулярной биологии и биоорганической химии.