• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Препринт

Positive provability logic for uniform reflection principles

arxiv.org. math. Cornell University, 2013. No.  arXiv:1304.4396.