Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация

А. Г. Драгалин

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

• 
•