,

The uniform Kruskal theorem: between finite combinatorics and strong set existence

, и .
Philosophical Transactions of the Royal Society A, (2023)
DOI: 10.1098/rsta.2022.0016

Метаданные

тэги

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

  • @freund

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