TY  - BOOK
AU  - Клини, Стефен Коул
AU  - Есенин-Вольпин, А. С.
AU  - Успенский, В. А.
TI  - Введение в математематику
PY  - 1957///
CY  - Москва
PB  - Изд-во иностр. лит.
KW  - მათემატიკური ლოგიკა
KW  - რეკურსიული ფუნქცია
ER  -