TY  - BOOK
AU  - Negri, Sara
AU  - Plato, Jan Von
TI  - Structural proof theory
SN  - 0521793076
U1  - 511.3 
PY  - 2001///
CY  - Cambridge
PB  - Cambridge Univ. Press 
KW  - Proof Theory
ER  -