Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
БАЛТАКИС (Baltakis) Альгимантас (р . 1930), литовский поэт, народный поэт Литвы (1986). Сборники "Чертов мост" (1957), "Подземные реки" (1965), "Странствующая гора" (1967), "Реки и мосты" (1976), "Марафон" (1982); сборник поэтических переводов "Час братства" ...