• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Axiomatization of provable n-provability

Beklemishev L. D., Kolmakov E.

Journal of Symbolic Logic. 2019. Vol. Volume 84. No. Issue 2. P. 849-869.

Глава в книге
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