Email Record: Proceedings of the Summer School in Logic, Leeds, 1967 ;