TY  - BOOK
AU  - Aczel, Peter
AU  - Weiner, Stanley S.
TI  - PROOF THEORY
SN  - 052141413X
U1  - 511.3 
PY  - 1990///
CY  - Cambridge
PB  - Cambridge Univ. Pr.
KW  - Proof Theory -- Cong
N1  - Collection Of Papers Presented At An International Summer School & Confereence On Proof Theory, Held At Leeds, 1990
ER  -