Аннотация:

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

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