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

Глава

A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential

P. 3-16.

В книге

A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential
Под науч. редакцией: V. Nigam, T. Ban Kirigin, C. Talcott et al. Iss. 12300. Cham: Springer, 2020.