• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
A many-sorted variant of Japaridze's polymodal provability logic

Beklemishev L. D., Berger G., Tompits H.

Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 505-538.

Глава в книге
A Note on Strictly Positive Logics and Word Rewriting Systems

Beklemishev L. D.

In bk.: Larisa Maksimova on Implication, Interpolation, and Definability. Cham: Springer, 2018. P. 61-70.

Препринт
Invariant spanning trees for quadratic rational maps

Timorin V., Shepelevtseva A.

math. arxive. Cornell University, 2018