Эта публикация цитируется в 2 статьях

МАТЕМАТИКА

Исследование рекурсивности и арифметичности сигнатурных функций в нестандартных моделях арифметики

А. А. Тверской

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 17.07.1981

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

• 
•