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

Арифметика 2-го порядка и непротиворечивость теорий 1-го порядка

В. И. Степанов


MSC: 03F35, 03F40, 03F03

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

 Англоязычная версия: Russian Mathematical Surveys, 1982, 37:4, 139–140

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

• 
• 
• 
•