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

Препринт

Topological interpretations of provability logic.

arxiv.org. math. Cornell University, 2012. No. ArXiv:1210.7317 .
Beklemishev L. D., Gabelaia D.