Diller J. <br/><br/>
Proof Theory Symposium / 
Diller J., Müller G.H. 
 - Berlin :  Springer,  1975. 
 - VIII,383s.,bibliogr. ;  24cm. 
<br/><br/> ISSN 133 
<br/><br/><label>ISSN: </label>133 
<br/><br/><label>Universal Decimal Class. No.: </label>519.4