Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic - Löb, Martin H. 1921-2006 (Lecture notes in mathematics, 1968)