TY  - BOOK
AU  - Scarpellini,Bruno
TI  - Proof theory and intuitionistic systems
SN  - 354005541X :
U1  -  510.82 
PY  - 1971///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical analysis
KW  - Mathematics
KW  - Data processing
KW  - Electronic data processing
N1  - Bibliography 291 p
ER  -