Уважаемые покупатели! В настоящий момент мы находимся в отпуске и не можем быстро обрабатывать Ваши заказы. Все поступившие заказы будут обработаны после 1 декабря. Приносим извинения за доставленные неудобства.

Поиск

Категории

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

ID
5412
Автор
Ершов Ю.Л., Палютин Е.А.
Год издания
1979
Издательство
Наука
Страниц
320 с.
Переплёт
твёрдый
Формат
обычный

 Нет в наличии

Исчисление высказываний и исчисление предикатов, имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов - теория моделей и теория доказательств - изложены более подробно.

НаучКнига.
Сайт основан на движке Inozem
Служебный вход© НаучКнига 2015-2017
Страница сгенерирована за 0.09с.