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

Additional Physical Format: Online version:
Logic Colloquium ((8th : : 1963 : Oxford, Oxfordshire)).
Formal systems and recursive functions.
Amsterdam, North-Holland Pub. Co., 1965
(OCoLC)899943615
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


Primary Entity

<http://www.worldcat.org/oclc/526307> # Formal systems and recursive functions; proceedings.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "526307" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/198499640#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:about <http://experiment.worldcat.org/entity/work/data/198499640#Topic/fonctions_recursives> ; # Fonctions récursives
   schema:about <http://experiment.worldcat.org/entity/work/data/198499640#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/198499640#Topic/fonctions_recursives_congres> ; # Fonctions récursives--Congrès
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/198499640#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/164/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/198499640#Meeting/symposium_on_recursive_functions_1963_oxford_oxfordshire> ; # Symposium on Recursive Functions (1963 : Oxford, Oxfordshire))
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://viaf.org/viaf/151897676> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
   schema:contributor <http://viaf.org/viaf/148423701> ; # North Atlantic Treaty Organization.
   schema:creator <http://experiment.worldcat.org/entity/work/data/198499640#Meeting/logic_colloquium_8th_1963_oxford_oxfordshire> ; # Logic Colloquium ((8th : : 1963 : Oxford, Oxfordshire))
   schema:datePublished "1965" ;
   schema:editor <http://viaf.org/viaf/22156399> ; # Michael Dummett
   schema:editor <http://experiment.worldcat.org/entity/work/data/198499640#Person/crossley_john_n> ; # John N. Crossley
   schema:exampleOfWork <http://worldcat.org/entity/work/id/198499640> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/198499640#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
   schema:isSimilarTo <http://www.worldcat.org/oclc/899943615> ;
   schema:name "Formal systems and recursive functions; proceedings."@en ;
   schema:productID "526307" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/526307#PublicationEvent/amsterdam_north_holland_pub_co_1965> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/198499640#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/526307> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/198499640#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Meeting/logic_colloquium_8th_1963_oxford_oxfordshire> # Logic Colloquium ((8th : : 1963 : Oxford, Oxfordshire))
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/198499640#Place/oxford_oxfordshire> ; # Oxford, Oxfordshire))
   schema:name "Logic Colloquium ((8th : : 1963 : Oxford, Oxfordshire))" ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Meeting/symposium_on_recursive_functions_1963_oxford_oxfordshire> # Symposium on Recursive Functions (1963 : Oxford, Oxfordshire))
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/198499640#Place/oxford_oxfordshire> ; # Oxford, Oxfordshire))
   schema:name "Symposium on Recursive Functions (1963 : Oxford, Oxfordshire))" ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Person/crossley_john_n> # John N. Crossley
    a schema:Person ;
   schema:familyName "Crossley" ;
   schema:givenName "John N." ;
   schema:name "John N. Crossley" ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Place/oxford_oxfordshire> # Oxford, Oxfordshire))
    a schema:Place ;
   schema:name "Oxford, Oxfordshire))" ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/526307> ; # Formal systems and recursive functions; proceedings.
   schema:name "Studies in logic and the foundations of mathematics." ;
   schema:name "Studies in logic and the foundations of mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
   schema:name "Fonctions récursives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Topic/fonctions_recursives_congres> # Fonctions récursives--Congrès
    a schema:Intangible ;
   schema:name "Fonctions récursives--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/198499640#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/148423701> # North Atlantic Treaty Organization.
    a schema:Organization ;
   schema:name "North Atlantic Treaty Organization." ;
    .

<http://viaf.org/viaf/151897676> # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    a schema:Organization ;
   schema:name "International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science." ;
    .

<http://viaf.org/viaf/22156399> # Michael Dummett
    a schema:Person ;
   schema:birthDate "1925" ;
   schema:deathDate "2011," ;
   schema:familyName "Dummett" ;
   schema:givenName "Michael" ;
   schema:name "Michael Dummett" ;
    .

<http://www.worldcat.org/oclc/899943615>
    a schema:CreativeWork ;
   rdfs:label "Formal systems and recursive functions." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/526307> ; # Formal systems and recursive functions; proceedings.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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