Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 9 .L63 1963 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.8 1963 Off-site
Request
Catholic
WRLC Shared Collections Facility
BC6.S9 L83 8th Off-site
Request
WRLC Shared Collections Facility
BC6.S9 L83 8th Off-site
Request
Georgetown
Lauinger stacks
QA9 .L63 1963 Available Request
Other Authors Crossley, John N.,
Dummett, Michael, 1925-2011,
Association for Symbolic Logic.
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
North Atlantic Treaty Organization.
Symposium on Recursive Functions (1963 : Oxford, Oxfordshire))
Subjects Fonctions récursives -- Congrès.
Fonctions récursives.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique -- Congrès.
Logique symbolique et mathématique.
Recursive functions.
Series Studies in logic and the foundations of mathematics.
Description 320 pages 23 cm.
Copyright Date 1965.
Notes 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 bibliographical references.
Network Numbers (OCoLC)526307
(OCoLC)ocm00526307
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks