Электронный каталог -Чень, Ч. - Математическая логика и автоматическое доказательство теорем- Absopac

Поиск :

Книга
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Математическая логика и основания математики
Издательство: Наука, 1983 г.
ISBN отсутствует

Книга
51 Ч43

Чень, Ч.
Математическая логика и автоматическое доказательство теорем: пер. с англ. / Ч. Чень, Р. Ли; пер. Г.В. Давыдов, Г.Е. Минц, А.В. Сочилина; под ред. С.Ю. Маслов. – Москва: Наука, 1983. – 358 с. – (Математическая логика и основания математики) . – На рус. яз.: 2.20.

510.6
621-50

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = ТЕОРЕМЫ

Филиал	Всего	Доступно для брони	Доступно для выдачи	Бронирование
ОХОФ	1	1	1	Заказать
ОНЛ	1	1	1	Заказать