Formal systems and recursive functions
Subtitle: proceedings of the eighth Logic Colloquium, Oxford, July 1963.  Edited by J.N. Crossley and M.A.E. Dummett.
Contributors: Crossley, John N,; Dummett, Michael A. E.
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