Scarpellini, Bruno <br/><br/>
Proof Theory and Institutions Systems 
/ by Bruno Scarpellini 
 - New York  Springer-Verlag  1971 
 - vii,290p. 
 - Lecture Notes on Mathematics 212 .
<br/><br/><label>ISBN: </label>038705541X 
<br/><br/><label>Dewey Class. No.: </label>519.6  / SCA/P