Математическая логика. Дополнительные главы (djvu)

Андрей Николаевич Колмогоров   А. Г. Драгалин
Математическая логика. Дополнительные главы 1812K, 61 с.   (скачать djvu)
издано в 1984 г.
Добавлена: 24.03.2011

Аннотация

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




Впечатления о книге:  


Прочитавшие эту книги читали:
X