Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)