v1
II$_\infty^0$-BCT の保存性について(証明論における順序数)
Identifier:nobleid.org/w1/20260515/E488FD4F
Type:Journal Article
0 views
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims
Paper Authors
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Paper Authors