RUS
ENG
Полная версия
ЖУРНАЛЫ
// Записки научных семинаров ПОМИ
Зап. научн. сем. ЛОМИ,
1971
,
том 20,
страницы
115–133
(Mi znsl2402)
Бескванторные и однокванторные системы
Г. Е. Минц
Эта публикация цитируется в следующих статьяx:
Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”,
УМН
,
60
:2(362) (2005),
3–78
; L. D. Beklemishev, “Reflection principles and provability algebras in formal arithmetic”,
Russian Math. Surveys
,
60
:2 (2005),
197–268
©
МИАН
, 2025