ЭЛЕКТРОННЫЙ КАТАЛОГ Междуреченской Информационной Библиотечной Системы

Многотомник
22.12

Справочная книга по математической логике : в 4 частях : пер. с англ. / под редакцией Дж. Барвайс. – Москва : Наука, 1982-1983. – На рус. яз.
Книга
22.12 С74

Ч. 4 : Теория доказательств и конструктивная математика : пер. с англ. / под редакцией Дж. Барвайс, В. П. Оревков. – Москва : Наука, 1983. – 392 с. : в переплете ; 22 см. – 20 000 экз. – На рус. яз. : 20.00.

ББК 22.12

Общий = Математическая логика : Справочники

15760 МБУК МИБС ЦГБ - отдел делового чтения основной 22.12 С74