Dold A <br/><br/>
Proof theory and ituitionistic systems 
Dold A; Heidelberg; Eckmann B; Zurich 
 - Berlin  Springer-Verlag           1971 
 - vii,290p.  cm. 
 - Lecture Notes in mathematics:a collection of informal reports and seminars; 212 .
<br/><br/><label>Standard No.: </label>21350 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>B13, L11