Scarpellini, Bruno <br/><br/>
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. .
<br/><br/>Bibliogr.: p. 291 
<br/><br/><label>ISBN: </label>354005541X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics<br/>Proof theory