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