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