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

 - Berlin  Springer-verlag  1971 
 - vii, 290 p. 
<br/><br/><label>Dewey Class. No.: </label>510 L496S:P