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

Глава

Global neighbourhood completeness of the provability logic GLP

P. 581-596.

В книге

Global neighbourhood completeness of the provability logic GLP
Vol. 13. College Publications, 2020.