Formal systems and recursive functions proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (North-Holland, 1965)