Введение в математическую логику
Колмогоров А.Н., Драгалин А.Г.
Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение предполагает специальных знаний и рассчитано на студентов младших курсов. Другие книги А.Н.Колмогорова на сайте: Колмогоров А.Н. Основные понятия теории вероятностей Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа Александров А.Д., Колмогоров А.Н., Лаврентьев М.А. Математика, ее содержание, методы и значение. В 3-х томах Колмогоров А.Н. Математика-наука и профессия Колмогоров А.Н. Теория информации и теория алгоритмов Другие книги по математической логике на сайте: Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
