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, Oxfordshire))

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
StatusFormatTextAccessUse in libraryCall numberMICROFILM 02977Item locationOff-site

Details

Additional authors
  1. Crossley, John N.
  2. Dummett, Michael, 1925-2011
  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, Oxfordshire))
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
Owning institution
  1. Princeton University Library
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.