Proceedings of the Summer School in Logic, Leeds, 1967 :  N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / 
Ed. by M.H. Löb. 
 - Berlin ;  New York :  Springer-Verlag,  1968. 
 - 331 p.  28 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  70 .
 - Lecture notes in mathematics (Springer-Verlag) ;  70. .
<br/><br/>Includes bibliogr. references 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical