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