Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику

М:. Издательство Моск. ун-та, 1982. — 120 с. — Игу ИМЭИ, 2 курс 3-4 семестр
010101 - МатематикаУчебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов.