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

Нормализация выводов и интерполяция для некоторых логик доказуемости

Л. Д. Беклемишев


MSC: 03F45, 03C40, 03B45, 03B05

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

 Англоязычная версия: Russian Mathematical Surveys, 1987, 42:6, 223–224

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

• 
• 
• 
•