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