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 (Springer, 1968)