APA (7th ed.) Citation

Logic Colloquium Oxford, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, Symposium on Recursive Functions, Crossley, J. N., & Dummett, M. A. E. (1965). Formal systems and recursive functions: Proceedings. North-Holland Pub. Co.

Chicago Style (17th ed.) Citation

Logic Colloquium Oxford, Association for Symbolic Logic, North Atlantic Treaty Organization, Methodology and Philosophy of Science International Union of the History and Philosophy of Science. Division of Logic, Symposium on Recursive Functions, John N. Crossley, and Michael A. E. Dummett. Formal Systems and Recursive Functions: Proceedings. Amsterdam: North-Holland Pub. Co, 1965.

MLA (9th ed.) Citation

Logic Colloquium Oxford, et al. Formal Systems and Recursive Functions: Proceedings. North-Holland Pub. Co, 1965.