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