Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В США начался суд над Бруно ГАУПТМАННОМ — предполагаемым похитителем и убийцей малолетнего сына знаменитого летчика Чарльза ЛИНДБЕРГА.
>>> Смотреть календарь
ЗАГРАДИТЕЛЬНЫЙ заградительная, заградительное. 1. Служащий преградою,
препятствием для чего-н. (воен.). Заградительный огонь. 2.
Предназначенный для борьбы с мешочничеством и с продовольственной
спекуляцией (нов. офиц.). Заградительный отряд. Заградительный пун...