Formal systems and recursive functions
Subtitle: proceedings
By: edited by J. N. Crossley and M. A. E. Dummett
Contributors: Dummett, Michael A. E.; Crossley, John N.; Association for Symbolic Logic; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science; North Atlantic Treaty Organization; Symposium on Recursive Functions (1963 : Oxford, England)
Series: Studies in logic and the foundations of mathematics; Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1965
Place of publication: Amsterdam
Language: eng
Number of pages: 320
Subjects: Symbolic and mathematical Logic; Recursive functions
Notes: 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.

Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.

Includes bibliographies.