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