,

What is effective transfinite recursion in reverse mathematics?

.
Mathematical Logic Quarterly, 66 (4): 479-483 (2020)
DOI: 10.1002/malq.202000042

Метаданные

тэги

Пользователи данного ресурса

  • @freund
  • @dblp

Комментарии и рецензии