Proceedings of the summer school in logic leeds,1967. - Lob M H Ed. (New York Springer Verlag, 1968)