TY  - BOOK
AU  - Girard Jean-Yves
TI  - Proof theory and logical complexity
U1  - 511.3 
PY  - 1987///
CY  - N Y
PB  - Elsevier Science Pub
KW  - Proff theory
ER  -