ISILC Proof Theory Symposion :  dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / 
edited by J. Diller and G. H. Muller 
 - Berlin :  Springer-Verlag,  c1975 
 - viii, 383 p. ;  25 cm. 
 - Lecture notes in mathematics ;  500 .
<br/><br/> Text in English or German 
<br/><br/>Bibliography : p. 382-383 
<br/><br/><label>ISBN: </label>038707533X (pbk) :  Rs. 32.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Schutte, K.--Bibliography
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory--Congresses
<br/><br/><label>Dewey Class. No.: </label>510.82