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