TY  - BOOK
AU  - Girard,Jean-Yves
TI  - Proof theory and logical complexity
SN  - 0444987150  :
U1  - 511.36 22
PY  - 1987///-
CY  - Napoli
PB  - Bibliopolis
KW  - Proof theory
N1  - Library has vol.1; Includes bibliographical references and index
ER  -