Author: CROSSLEY, J.N. & DUMMETT, M.A.E. eds.
Title: Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloqium, Oxford, July 1963.
Description: North-Holland, 1965. Hardcover. Ex-library, some rubbing, light sunning and light mark to spine, o/wise good (no markings to clean and bright text). No dust jacket. 320pp.

Keywords: theory philosophy social history historical philosophical logic mathematics theory maths