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