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

Логики творящего субъекта: консервативность относительно интуиционистского исчисления предикатов

В. Н. Кривцов

Отдел теоретических проблем РАН

MSC: 03B20, 03F55, 68Q55

Принято редколлегией: 04.09.1995

DOI: 10.4213/rm928

 Англоязычная версия: Russian Mathematical Surveys, 1996, 51:1, 146–147

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

• 
• 
• 
• 
•