Введение в математическую логику

Abstract

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