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

Статья

Recursive enumerability and elementary frame definability in predicate modal logic

Journal of Logic and Computation. 2020. Vol. 30. No. 2. P. 549-560.
Rybakov M., Shkatov D.