proceedings of the eighth logic colloquium oxford, July 1963 Crossley, John N. ed. Dummett, Michael 1925-2011 ed. text ne Amsterdam North-Holland Pub. Co. 1965 monographic eng

print

[4], 320 p. ; 23 cm. Edited by J.N. Crossley and M.A.E. Dummett. 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 511.352 FOR 1965 DLC 160830 20211209075637.0 51324 eng