TY  - GEN
AU  - Kahle, Reinhard,
AU  - Rathjen, Michael,
CN  - SpringerLink
CN  - QA9.54
DO  - 10.1007/978-3-319-10103-3
DO  - doi
ID  - 734362
KW  - Proof theory.
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10103-3
SN  - 9783319101033
SN  - 331910103X
T1  - Gentzen's centenarythe quest for consistency /
TI  - Gentzen's centenarythe quest for consistency /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10103-3
ER  -