Математическая логика.

Перевод с английского Ю. Гастева. Под редакцией Г. Минца.

Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах, таким образом, она адресована, прежде всего, преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой. Срдержание - Часть I. Элементарная математическая логика. Глава I. Исчисление высказываний. Глава II. Исчисление предикатов. Глава III. Исчисление предикатов с равенством. Часть II. Математическая логика и основания математики. Глава IV. Основания математики. Глава V. Вычислимость и разрешимость. Глава VI. Исчисление предикатов (дополнительные разделы). Приложения. Г. Е. Минц. Приложение 1. Нормализация доказательств. Приложение 2. Функциональная теорема. Теорема Эрбрана для непредваренных формул. Список литературы. Список теорем и лемм. Список постулатов. Символы и обозначения. Авторский и предметный указатель.