TY  - BOOK
AU  - Aczel Peter Ed.
TI  - Proof theory:  A selection of papers from the Leeds Proof Theory Programme 1990
U1  - R14, N2 
PY  - 1992///
ER  -