RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ

Зап. научн. сем. ЛОМИ, 1971, том 20, страницы 115–133 (Mi znsl2402)

Бескванторные и однокванторные системы
Г. Е. Минц

Эта публикация цитируется в следующих статьяx:
  1. Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60:2(362) (2005), 3–78  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, “Reflection principles and provability algebras in formal arithmetic”, Russian Math. Surveys, 60:2 (2005), 197–268  crossref  isi  elib


© МИАН, 2025