Research Catalog

Formal systems and recursive functions; proceedings.

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

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library MICROFILM 02977Off-site

Details

Additional Authors
  • Crossley, John N.
  • Dummett, Michael, 1925-2011
  • 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, Oxfordshire))
Description
320 p.; 23 cm.
Series Statement
Studies in logic and the foundations of mathematics
Subject
  • Logic, Symbolic and mathematical
  • Recursive functions
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 (note)
  • Includes bibliographies.
LCCN
66002289 //r84
OCLC
  • ocm00526307
  • SCSB-275383
Owning Institutions
Princeton University Library