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

Статья

Axiomatization of provable n-provability

Journal of Symbolic Logic. 2019. Vol. Volume 84. No. Issue 2. P. 849-869.