Математическая логика

Abstract

Фундаментальные факты математической логики: начало аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.

Книга переиздана, вместе с первой книгой "Введение в математическую логику", в 2006 году.