TY  - BOOK
AU  - Scarpellini Bruno
TI  - Proof theory and intuitionistic systems
U1  - R14, L1 
PY  - 1971///
CY  - New York  
PB  -  Springer-Verlag      
ER  -