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

Глава

Graphical Sequent Calculi for Modal Logics

P. 91-103.
Ma M., Pietarinen A.