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

Глава

A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames

P. 531-539.
Rybakov M., Shkatov D.

В книге

A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
Vol. 12. College Publications, 2018.