Чень, Ч. 
Математическая лoгика и автoматическoе дoказательствo теoрем / Чень Ч. ; перевод с английского Давыдова Г. В. [и др.] ; под редакцией Маслова С. Ю. - Москва : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Алф. указ.: с. 350-358.



Автор: Чень Ч.

Другие авторы: Ли Р.

Основное заглавие: Математическая логика и автоматическое доказательство теорем

Ответственность: перевод с английского Давыдова Г. В. [и др.] ; под редакцией Маслова С. Ю.

Год публикации: 1983

Место издания: Москва

Издательство: Наука

Объем: 358 с.

Cерия: Математическая логика и основания математики

Ключевые слова: Математическая логика; Доказательств теория;

ББК: 22.122

Библиография: Библиогр. в конце глав. - Алф. указ.: с. 350-358

2046430
Чень, Ч. 
Математическая лoгика и автoматическoе дoказательствo теoрем / Чень Ч. ; перевод с английского Давыдова Г. В. [и др.] ; под редакцией Маслова С. Ю. - Москва : Наука, 1983. - 358 с. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Алф. указ.: с. 350-358.
ББК 22.122
2046430-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же его копию, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2046430 кх Доступна -