Formal systems and recursive functions; proceedings.
- Title
- Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Published by
- Amsterdam, North-Holland Pub. Co., 1965.
- Author
Items in the library and off-site
Displaying 1 item
Status | Format | Access | Call number | Item location |
---|---|---|---|---|
Status Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | FormatText | AccessUse in library | Call numberD-17 2552 | Item locationSchwarzman Building - Main Reading Room 315 |
Details
- Additional authors
- Description
- 320 p.; 23 cm.
- Series statement
- Studies in logic and the foundations of mathematics
- Subject
- Call number
- D-17 2552
- 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.
- 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)
- LCCN
- 66002289 //r84
- Research call number
- D-17 2552