Formal systems and recursive functions; proceedings/
Formal systems and recursive functions; proceedings/
Edited by J.N. Crossley and M.A.E. Dummett.
- Amsterdam ; North-Holland, 1965.
- 320 p.: 23 cm.
- Studies in logic and the foundations of mathematics .
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.
Includes bibliographies.
66002289 //r84
Logic, Symbolic and mathematical.
Recursive functions
511.3 / F723
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.
Includes bibliographies.
66002289 //r84
Logic, Symbolic and mathematical.
Recursive functions
511.3 / F723