APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963. Amsterdam: North-Holland, 1965.

MLA (9th ed.) Citation

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963. North-Holland, 1965.