В Московском математическом обществе
Сообщения Московского математического общества

Конструктивизируемые и неконструктивизируемые формальные арифметические структуры

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


MSC: 06Fxx

Поступила в Правление ММО: 28.06.1985

 Англоязычная версия: Russian Mathematical Surveys, 1985, 40:6, 145–146

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

• 
• 
•