TY - BOOK AU - Lob M.H. TI - Proceedings of the Summer School in Logic Leeds,1967 PY - 1968/// CY - New York PB - Springer Verlag ER -