Многотомник

Справочная книга по математической логике : в 4 ч. / под ред.: Д. Барвайс. – М. : Наука, 1982.
Книга
104 3595

Ч. 4 : Теория доказательств и конструктивная математика. – 1983. – 391 с.

ББК В12я2

Предметні рубрики = Електронний ресурс
Дисциплины = Природничі науки : Базовый : Математична логіка
Предметні рубрики = Іменні фонди : іменний фонд Уйомова

0833867 Ф 1 - 10 комн.
1109137 ОФ
1108323 ОФ
1609059 ОФ