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 Not available - Please for assistance. | FormatText | AccessUse in library | Call numberMICROFILM 02977 | Item locationOff-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
- 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.