По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Название: Математическая логика
Автор:Ершов Ю.Л., Палютин Е.А.
Издательство:Наука
Год выпуска: 1987
Формат: PDF
Размер: 13MB
Качество: Отсканированные страницы
Количество страниц:336
Описание: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Купить бумажную книгу или электронную версию книги и скачать