Summer School in Logic: 
 Proceedings of the Summer School in Logic Leeds, 1967 - N.A.T.O. Advanced Study Institute Meetings of the Association for Symbolic Logic. 

 - Berlin:  Springer-Verlag,  1968. 
 - Lecture notes in mathematics;  70. .
 - Lecture notes in mathematics (Springer-Verlag);  70. .