Formal systems and recursive functions proceedings - Logic Colloquium Oxford) 1963; Crossley, John N.; Dummett, Michael A. E.; 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 Oxford) (1963. (Amsterdam North-Holland Pub. Co., 1965)
Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
Keywords: Logic, Symbolic and mathematical; Recursive functions