TY  - BOOK
AU  - Aczel, Peter
AU  - Simmons, Harold
AU  - Wainer, S. S
ED  - Leeds Proof Theory Programme (1990 : Leeds University)
TI  - Proof theory : a selection of papers from the Leeds Proof theory programme, 1990
SN  - 052141413X
SN  - 93223437
U1  - 511.3 ACZ 
PY  - 1992///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Proof theory
N1  - Includes bibliographical references
ER  -