1.  Великий Октябрь и защита его завоеваний : в 2 т. / отв. ред. И.И.Минц ; АН СССР, Ин-т истории СССР. —  Т. 2.  Т. 2 :  Защита социалистического Отечества / Е. Г. Гимпельсон, В. Т. Ермаков, В. Г. Колычев и др. — ББК 63.3(2)612Издательство: Москва : Наука, 1987Физическая характеристика: 408 с.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2. Клини, С. К. Математическая логика ; пер. с англ. Ю.А.Гастева ; под ред. Г.Е.Минца. — ББК 22.122Издательство: М. : Мир, 1973Физическая характеристика: 480с.

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

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