Proceedings of the Summer School in Logic, Leeds, 1967. - Löb, Martin H. (Lecture notes in mathematics, 1968)