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

Глава

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

P. 326-340.
Kanovich M., Scedrov A., Kuznetsov S.