Proceedings of the Summer School in Logik, Leeds, 1967 by Martin H. Löb