TY  - BOOK
AU  - Aczel, Peter 
AU  - Simmons, Harold 
AU  - Wainer, Stanley S
TI  - Proof theory : a selection of papers from the leeds proof theory programme 1990
SN  - 9780511896262
PY  - 2011///
CY  - Cambridge university press
KW  - Mathematics
KW  - Categories and sets
KW  - Logic
KW  - Computer science
KW  - Programming languages and applied logic
UR  - https://doi.org/10.1017/CBO9780511896262
ER  -