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, England)
- Publication
- Amsterdam, North-Holland Pub. Co., 1965.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | Book/Text | Use in library | D-17 2552 | Schwarzman Building - Main Reading Room 315 |
Details
- Additional Authors
- Description
- 320 p.; 23 cm.
- Series Statement
- Studies in logic and the foundations of mathematics
- Subject
- 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.
- Call Number
- D-17 2552
- LCCN
- 66002289 //r84
- OCLC
- 526307
- Conference
- Logic Colloquium (8th : : 1963 : : Oxford, England)
- Title
- Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Imprint
- Amsterdam, North-Holland Pub. Co., 1965.
- Series
- Studies in logic and the foundations of mathematics
- Bibliography
- Includes bibliographies.
- Added Author
- Crossley, John N.Dummett, Michael A. E.Association for Symbolic Logic.North Atlantic Treaty Organization.International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.Symposium on Recursive Functions (1963 : Oxford, England)
- Research Call Number
- D-17 2552