Limit search to items available for checkout
BOOK
Title Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Imprint Amsterdam, North-Holland Pub. Co., 1965.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA9 .L63 1963    AVAILABLE
Description 320 p. 23 cm.
Series Studies in logic and the foundations of mathematics.
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.
Bibliog. Includes bibliographies.
Subject Logic, Symbolic and mathematical.
Recursive functions.
Other 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)