Введение в математическую логику (2-е издание, исправленное) - Эллиот Мендельсон
Название книги: Введение в математическую логику (2-е издание, исправленное)
Автор книги: Эллиот Мендельсон
Жанр:
Наука и образование → Математика
Язык книги: русский
Издательство: Наука. Главная редакция физико-математической литературы
Город: Москва
Год издания: 1976
сообщить о нарушении
Скачать книгу бесплатно:
PDF
Описание книги
В книге доступно и достаточно полно изложены основные разделы современной математической логики и её приложения. Среди тем — логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов, теория моделей и аксиоматическая теория множеств. При этом в отличие от некоторых других пособий (например, книги С. К. Клини «Введение в метаматематику») в работе не затрагиваются интуиционистское и конструктивное направления математической логики.
