Андрей Николаевич Колмогоров А. Г. Драгалин
издано в 1984 г.
Добавлена: 24.03.2011
Аннотация
Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику», но может изучать и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Просмотров 
