TY  - BOOK
AU  - Scarpellini, Bruno
TI  - Proof Theory and Institutions Systems
SN  - 038705541X
U1  - 519.6 
PY  - 1971///
CY  - New York
PB  - Springer-Verlag
ER  -