Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
Первое боевое применение вертолетов: три машины конструктора СИКОРСКОГО приняли участие в сопровождении британского атлантического конвоя.
>>> Смотреть календарь
КЕРЕТАРО , город в центральной Мексике, административный центр шт. Керетаро. 386 тыс. жителей (1990). Хлопчатобумажная, пищевая, кожевенная промышленность. Университет. Дворцы и церкви 18 в.