Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
КРЕВЕ (Kreve) (наст . фам. Мицкявичюс) Винцас (1882-1954), литовский писатель. Рассказы о литовской деревне (сборники "Под соломенной крышей", 1922; "Колдун", 1939), повесть "Во мгле" (1940), сборник легенд, исторические драмы. В конце 2-й мировой войны эм...