Research Catalog
Formal systems and recursive functions; proceedings.
- Title
- Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Author
- Logic Colloquium ((8th : : 1963 : : Oxford, Oxfordshire))
- Publication
- Amsterdam, North-Holland Pub. Co., 1965.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | MICROFILM 02977 | Off-site |
Details
- Additional Authors
- Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564
- Crossley, John N.
- Dummett, Michael, 1925-2011
- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. http://id.loc.gov/authorities/names/n50067487
- North Atlantic Treaty Organization. http://id.loc.gov/authorities/names/n79006743
- Symposium on Recursive Functions ((1963 : : Oxford, Oxfordshire))
- Description
- 320 p.; 23 cm.
- Series Statement
- Studies in logic and the foundations of mathematics
- Subjects
- Note
- Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
- Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
- Bibliography (note)
- Includes bibliographies.
- LCCN
- 66002289 //r84
- Owning Institutions
- Princeton University Library