Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
СЕВ сева, мн. нет, м. Действие по глаг. сеять; посев зерновых культур.
Подготовка к весеннему севу. Сев яровых.