1. Чень, Ч. Математическая логика и автоматическое доказательство теорем / Минц,Г.Е ; пер. с англ. Г.В.Давыдова и др. ; под ред. С.Ю.Маслова. — (Математическая логика и основания математики). — ББК 22.122Издательство: М. : Наука, 1983Физическая характеристика: 358с.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2.  Справочная книга по математической логике : в 4-х ч. / под ред. Дж.Барвайса. —  Ч. 4.  Ч. 4 :  Теория доказательств и конструктивная математика ; К.Сморинский и др. ; пер. Г.В.Давыдова, Г.Е.Минца ;  под ред. В.П.Оревкова. — ББК 22.122Издательство: М. : Наука, 1983Физическая характеристика: 391с.

Действия: Заказать Добавить в корзину
Языки: