Аннотация

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

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

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