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

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

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

Действия: Заказать Добавить в корзину
4.  Справочная книга по математической логике : в 4-х ч. / под ред. Дж.Барвайса ; пер. с англ. С.С.Гончарова и др. —  Ч. 1.  Ч. 1 :  Теория моделей / Барвайс,Дж. — ББК 22.122Издательство: М. : Наука, 1982Физическая характеристика: 392с.

Действия: Заказать Добавить в корзину
5.  Справочная книга по математической логике : в 4-х ч. / под ред. Дж.Барвайса ; пер. с англ. С.С.Гончарова и др. —  Ч. 3.  Ч. 3 :  Теория рекурсии / Барвайс,Дж. — ББК 22.122Издательство: М. : Наука, 1982Физическая характеристика: 360с.

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