Formal systems and recursive functions
Subtitle: proceedings.  Edited by J.N. Crossley and M.A.E. Dummett.
Contributors: Dummett, Michael A. E.; Crossley, John N.; Association for Symbolic Logic
Series: 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: Logic, Symbolic and mathematical -- Congresses; Recursive functions.
Notes: "Lectures given at the Logic Colloquium, which took place in St. Anne's College, Oxford from 15-18 July, 1963, as a meeting of the Association for Symbolic Logic.".  Includes bibliography.