Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
АНТ-120: Высокий полет академика Тихонова
В судьбе этого ученого и гражданина уникальным образом соединились наука с образованием, а теория - с практикой Последние дни октября для преподавателей, студентов, выпускников и ветеранов факультета Вычислительной математики и кибернетики МГУ прочно связаны с именем их первого декана Андрея Николаевича Тихонова. Его же называют и создателем этого факультета, инициатором нового для тех лет, а в чем-то даже революционного направления в высшем образовании и науке на стыке математики, физики и механики...