Title: Proceedings of the Summer School in Logic, Leeds, 1967
Subjects: Symbolic and mathematical Logic