Title: Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloqium, Oxford, July 1963.