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

Степени неразрешимости расширений арифметики истин­ными предложениями

С. Н. Артемов


MSC: 03D28, 03F40

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

 Англоязычная версия: Russian Mathematical Surveys, 1988, 43:2, 159–160

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

• 
• 
• 
•