Formal systems and recursive functions; proceedings.

Title
  1. Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Published by
  1. Amsterdam, North-Holland Pub. Co., 1965.
Author
  1. Logic Colloquium (8th : : 1963 : : Oxford, England)

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

FormatTextAccessUse in libraryCall numberD-17 2552Item locationSchwarzman Building - Main Reading Room 315

Details

Additional authors
  1. Crossley, John N.
  2. Dummett, Michael A. E.
  3. Association for Symbolic Logic.
  4. North Atlantic Treaty Organization.
  5. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
  6. Symposium on Recursive Functions (1963 : Oxford, England)
Description
  1. 320 p.; 23 cm.
Series statement
  1. Studies in logic and the foundations of mathematics
Subject
  1. Logic, Symbolic and mathematical
  2. Recursive functions
Call number
  1. D-17 2552
Note
  1. Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
  2. 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)
  1. Includes bibliographies.
Conference
  1. Logic Colloquium (8th : : 1963 : : Oxford, England)
Title
  1. Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
Imprint
  1. Amsterdam, North-Holland Pub. Co., 1965.
Series
  1. Studies in logic and the foundations of mathematics
Bibliography
  1. Includes bibliographies.
Added author
  1. Crossley, John N.
  2. Dummett, Michael A. E.
  3. Association for Symbolic Logic.
  4. North Atlantic Treaty Organization.
  5. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
  6. Symposium on Recursive Functions (1963 : Oxford, England)
LCCN
  1. 66002289 //r84
Research call number
  1. D-17 2552
View in legacy catalog