TY  - GEN
T1  - Ways of proof theory
DA  - 2010.
CY  - Frankfurt ;
CY  - New Brunswick :
AU  - Schindler, Ralf.
CN  - QA9.54
PB  - Ontos Verlag,
PP  - Frankfurt ;
PP  - New Brunswick :
PY  - 2010.
ID  - 708628
KW  - Proof theory.
TI  - Ways of proof theory
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10728776
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10728776
ER  -