Справочная книга по математической логике: в 4-х ч. : пер. с англ./ Ч. 3, Теория рекурсии
|
С 741 | |
|
Справочная книга по математической логике: в 4-х ч. : пер. с англ./ Ч. 3, Теория рекурсии
ред. Дж. Барвайс. — М.: Наука 1982 — 360 с. |