Электронный каталог - Electronic Catalogue

Многотомник

Справочная книга по математической логике = Handbook of mathematical logic : в 4-х частях : пер. с англ. / ред. Дж. Барвайс . – М. : Наука . – На рус. яз.
Книга
510.6 С74

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

510.6

Общий = Математическая логика
Коллекции = Математическая библиотека