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 | FormatText | AccessUse in library | Call numberMICROFILM 02977 | Item locationOff-site |
Details
- Additional authors
- Description
- 320 p.; 23 cm.
- Series statement
- Studies in logic and the foundations of mathematics
- Subject
- Owning institution
- Princeton University Library
- 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.