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