Классификация рекурсивных функций с помощью иерархий

Соломон Феферман

 Англоязычная версия: , 1962, 104, 101–122

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

• 
•