-
1
-
2
Ordinal Analysis with an Introduction to Proof Theory
Veröffentlicht 2020
VolltextElektronisch E-Book -
3
Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Veröffentlicht 2021Weitere Verfasser: “… Arai, Toshiyasu …”
VolltextElektronisch E-Book