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

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов. Это и многое другое вы найдете в книге Введение в математическую логику (А. Н. Колмогоров, А. Г. Драгалин)