Арифметическое представление рекурсивно-перечислимых множеств

Рафаэль М. Робинсон

 Англоязычная версия: , 1956, 21, 162–186

Реферативные базы данных:

• 
•