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

Глава

Ordinal completeness of bimodal provability logic GLB

P. 1-15.

В книге

Tbilisi: Springer, 2009.