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