Text this: Proceedings of the Summer School in Logic, Leeds, 1967 ;