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

Статья

Kripke semanics for provability logic GLP

Annals of Pure and Applied Logic. 2010. Vol. 161. No. 6. P. 756-774.