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