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

Многотомник

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

Ч. 3 : Теория рекурсии . – 1982 . – 360 с. – На рус. яз.

510.6

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