Proof theory and intuitionistic systems /
Scarpellini, Bruno
Proof theory and intuitionistic systems / Bruno Scarpellini. - Berlin ; New York : Springer-Verlag, 1971. - vii, 290, [1] p. 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 212 . - Lecture notes in mathematics (Springer-Verlag) ; 212. .
Bibliogr.: p. 291
354005541X
Intuitionistic mathematics
Proof theory
Proof theory and intuitionistic systems / Bruno Scarpellini. - Berlin ; New York : Springer-Verlag, 1971. - vii, 290, [1] p. 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 212 . - Lecture notes in mathematics (Springer-Verlag) ; 212. .
Bibliogr.: p. 291
354005541X
Intuitionistic mathematics
Proof theory
All site content, except where otherwise noted, is licensed under a