Martin H. Löb

• Proceedings of the Summer School in Logik, Leeds, 1967