Scarpellini, Bruno <br/><br/>
Proof theory and intuitionistic systems. 

 - Berlin;  New York:  Springer-Verlag,  1971. 
 - vii, 290, [1] p.:  26 cm. 
 - Lecture notes in mathematics;  212. .
 - Lecture notes in mathematics (Springer-Verlag);  212. .
<br/><br/>Bibliography: p. [291] 
<br/><br/><label>ISBN: </label>354005541X 
<br/><br/><label>LCCN: </label>78169705 //r85 
<br/><br/><label>Nat. Bib. No.: </label>GDB*** 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511/.3