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

Статья

Undecidability of modal and intermediate first-order logics with two individual variables.

Journal of Symbolic Logic. 1993. Vol. 58. No. 3. P. 800-823.
Gabbay D., Shehtman V. B.