jump to search box

Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.

Availability

At the Library

Other libraries

Meeting:
Logic Colloquium (8th : 1963 : Oxford, England)
Language:
English.
Publication date:
1965
Imprint:
Amsterdam, North-Holland Pub. Co., 1965.
Format:
  • Book, Conference Proceedings
  • 320 p. 23 cm.
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:
Includes bibliographies.
Contributor:
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)
Series:
Studies in logic and the foundations of mathematics.
Subjects:

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top