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

Поиск :

Доступно
2 из 2

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

Книга
51 Ч43

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

510.6
621-50

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

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