TY  - BOOK
AU  - Scarpellini,Bruno
TI  - Proof theory and intuitionistic systems
T2  - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
SN  - 354005541X
PY  - 1971///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Intuitionistic mathematics
KW  - Proof theory
N1  - Bibliogr.: p. 291
ER  -