PROCEEDINGS of the Summer School in Logic, Leeds, 1967