Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History 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..
Lua i Stíl Chicago (17ú heag.)Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions, John N. Crossley, agus Michael A. E. Dummett. Formal Systems and Recursive Functions: Proceedings. Amsterdam: North-Holland Pub. Co., 1965.
Lua MLA (8ú heag.)Logic Colloquium Oxford, England, et al. Formal Systems and Recursive Functions: Proceedings. North-Holland Pub. Co., 1965.