TY  - GEN
AU  - Arai, Toshiyasu.
CN  - QA9.54
CY  - Singapore :
DA  - 2020.
ID  - 940583
KW  - Proof theory.
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-15-6459-8
PB  - Springer,
PP  - Singapore :
PY  - 2020.
SN  - 9789811564598
SN  - 9811564590
T1  - Ordinal analysis with an introduction to proof theory /
TI  - Ordinal analysis with an introduction to proof theory /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-15-6459-8
ER  -