John N. Logic Colloquium

Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

John N. Logic Colloquium, Michael A. E. Crossley, Dummett, 1965 .