TY  - BOOK
AU  - Aczel Peter Ed
AU  -  Simmons Horld Ed
AU  -  Wainer Stanley S Ed
TI  - Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs
SN  - 052141413X (hbd)
U1  - B:(R1), N2 
PY  - 1992///
CY  - Cambridge
PB  - Cambridge University Press       
KW  -  Logic
KW  - Mathematics
N1  - Includes bibliographical references; ^mPurchase; ; 1996-09-13^bSB^c1996-09-18
ER  -