Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by Open Library Bot
December 4, 2010 | History

Formal systems and recursive functions 1 edition

Formal systems and recursive functions
Logic Colloquium 8th Oxford, 1 ...


No readable version available.


Try a WorldCat search?


Add an ISBN to link to booksellers


You could add Formal systems and recursive functions to a list if you log in.
Rats. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal systems and recursive functions
proceedings. Edited by J.N. Crossley and M.A.E. Dummett.

Published 1965 by North-Holland Pub. Co. in Amsterdam .
Written in English.

Edition 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.

Studies in logic and the foundations of mathematics

The Physical Object

320 p. ;
Number of pages

ID Numbers

Open Library

History Created December 11, 2009 · 3 revisions Download catalog record: RDF / JSON

December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
January 28, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page