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

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

Самоприменимые предложения для стандартного и россеровского предикатов доказуемости

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


MSC: 03F45, 03E25, 03F40, 03D25

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

 Англоязычная версия: Russian Mathematical Surveys, 1981, 36:1, 254–255

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

• 
• 
• 
•