Record:   Prev Next
Author Logic Colloquium (8th : 1963 : Oxford, Oxfordshire)
Title Formal systems and recursive functions; proceedings / edited by J.N. Crossley and M.A.E. Dummett
Imprint Amsterdam, North-Holland Pub. Co., 1965
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9 .L63 1963    AVAILABLE    30340200057069
 Mathematics Library  QA9 .L63 1963 c.2  AVAILABLE    30340200061301
 Inform. Sci. Proceeding  Proc F4.1 L8325:5 1963    LIB USE ONLY    30330000213079
Descript 320 p. 23 cm
Series Studies in logic and the foundations of mathematics ; v. 34
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
Includes bibliographies
Subject Logic, Symbolic and mathematical -- Addresses, essays, lectures
Recursive functions -- Addresses, essays, lectures
Alt Author Crossley, John N., ed
Dummett, Michael A. E., ed
Association for Symbolic Logic
North Atlantic Treaty Organization
Symposium on Recursive Functions (1963 : Oxford, Oxfordshire)
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
Record:   Prev Next