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

Глава

Undecidability of the Lambek calculus with a relevant modality

P. 240-256.
Kanovich M., Scedrov A., Kuznetsov S.

В книге

Springer, 2016.