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

Read

No readable version available.

Borrow

Try a WorldCat search?

Buy

Add an ISBN to link to booksellers

Lists

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.

Series
Studies in logic and the foundations of mathematics

The Physical Object

Pagination
320 p. ;
Number of pages
320

ID Numbers

Open Library
OL21714236M

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