Proceedings of the Summer School in Logic Leeds, 1967 (Lecture Notes in Mathematics, 70, 1968)