TY  - BOOK
AU  - Барвайс, Дж.
TI  - Справочная книга по математической логике. В 4-х частях. Ч. 3: Теория рекурсии 
PY  - 1982///
CY  - Москва
PB  - Наука
KW  - მათემატიკა
KW  - მათემატიკური ლოგიკა
KW  - რეკურსიული თეორია
KW  - ცნობარები
ER  -