Справочная книга по математической логике . : Теория рекурсии — М. : Главная редакция физико0математической литературы, 1982. — 359 с.

Subjects--Topical Terms:

Universal Decimal Class. No.: 510.6(035)