Scarpellini, Bruno <br/><br/>
Proof theory and intuitionistic systems / 
Bruno Scarpellini 
 - Berlin :  Springer-Verlag,  1971 
 - vii, 290p. ;  25 cm. 
 - Lecture notes in mathematics .
<br/><br/>Bibliography 291 p 
<br/><br/><label>ISBN: </label>354005541X :  PND 24.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical analysis<br/>Mathematics--Data processing<br/>Electronic data processing
<br/><br/><label>Dewey Class. No.: </label>510.82