00000cam a22000004a 4500 UP-99796217609611946 Buklod 20230215101310.0 a r |||| u| ta 110115s xx d r |||| u| (iLib)UPD-00142001985 DLC WSU m.c. SER CIN QA 9 L64 1963 Logic Colloquium Oxford) 1963 (8th Formal systems and recursive functions proceedings edited by J.N. Crossley and M.A.E. Dummett. Amsterdam North-Holland Pub. Co. 1965. 320 p. 23 cm. Studies in logic and the foundations of mathematics. 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. Logic, Symbolic and mathematical. Recursive functions. 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. Studies in logic and the foundations of mathematics. Book UPD DSCI QA 9 L64 1963 Book