skip to content
Formal systems and recursive functions; proceedings. Preview this item
ClosePreview this item
Checking...

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: John N Crossley; Michael Dummett; 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.
OCLC Number: 526307
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.
Description: 320 pages 23 cm.
Series Title: Studies in logic and the foundations of mathematics.
Responsibility: Edited by J.N. Crossley and M.A.E. Dummett.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/526307>
library:oclcnum"526307"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/151897676>
rdf:typeschema:Organization
schema:name"International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science."
schema:contributor
schema:contributor
schema:contributor
schema:creator
schema:datePublished"1965"
schema:exampleOfWork<http://worldcat.org/entity/work/id/198499640>
schema:inLanguage"en"
schema:isPartOf
schema:name"Formal systems and recursive functions; proceedings."@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.