МАТЕМАТИКА

Одна конструктивная модель классической формальной арифметики

Н. М. Нагорный

Вычислительный центр РАН, г. Москва

УДК: 517.12

Статья представлена к публикации: А. А. Дородницын
Поступило: 22.01.1993

 Англоязычная версия: Doklady Mathematics, 1994, 48:2, 251–254

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

• 
•