skip to content
Generalized recursion theory II : proceedings of the 1977 Oslo symposium Preview this item
ClosePreview this item
Checking...

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Author: Jens Erik Fenstad; Robin O Gandy; Gerald Enoch Sacks
Publisher: Amsterdam ; New-York ; Oxford : North-Holland, 1978.
Series: Studies in logic and the foundations of mathematics, 94; Studies in logic and the foundations of mathematics, 94.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Jens Erik Fenstad; Robin O Gandy; Gerald Enoch Sacks
ISBN: 0444851631 9780444851635
OCLC Number: 489774275
Description: vii, 417 p. ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, 94; Studies in logic and the foundations of mathematics, 94.
Responsibility: edited by I.E. Fenstad,... R.O. Gandy,... G.E. Sacks,....

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/489774275> # Generalized recursion theory II proceedings of the 1977 Oslo symposium
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "489774275" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New-York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806413137#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806413137#Place/oxford> ; # Oxford
   schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/theorie_de_la_recursivite> ; # Théorie de la récursivité
   schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursivite_theorie_de_la_congres> ; # Récursivité, Théorie de la--Congrès
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursion_theory_congresses> ; # Recursion theory--Congresses
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/32075782> ; # Gerald Enoch Sacks
   schema:contributor <http://experiment.worldcat.org/entity/work/data/806413137#Person/fenstad_jens_erik> ; # Jens Erik Fenstad
   schema:contributor <http://experiment.worldcat.org/entity/work/data/806413137#Meeting/symposium_on_generalized_recursion_theory_ii_1977_oslo> ; # Symposium on Generalized Recursion Theory (II ; 1977 ; Oslo)
   schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O Gandy
   schema:datePublished "1978" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/806413137> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/806413137#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Generalized recursion theory II proceedings of the 1977 Oslo symposium" ;
   schema:numberOfPages "417" ;
   schema:productID "489774275" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/489774275#PublicationEvent/amsterdam_new_york_oxford_north_holland_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806413137#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444851635> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/489774275> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New-York
    a schema:Place ;
   schema:name "New-York" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Meeting/symposium_on_generalized_recursion_theory_ii_1977_oslo> # Symposium on Generalized Recursion Theory (II ; 1977 ; Oslo)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/806413137#Place/oslo> ; # Oslo)
   schema:name "Symposium on Generalized Recursion Theory (II ; 1977 ; Oslo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Person/fenstad_jens_erik> # Jens Erik Fenstad
    a schema:Person ;
   schema:familyName "Fenstad" ;
   schema:givenName "Jens Erik" ;
   schema:name "Jens Erik Fenstad" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#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/489774275> ; # Generalized recursion theory II proceedings of the 1977 Oslo symposium
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursion_theory_congresses> # Recursion theory--Congresses
    a schema:Intangible ;
   schema:name "Recursion theory--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursivite_theorie_de_la_congres> # Récursivité, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Récursivité, Théorie de la--Congrès" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Topic/theorie_de_la_recursivite> # Théorie de la récursivité
    a schema:Intangible ;
   schema:name "Théorie de la récursivité"@fr ;
    .

<http://viaf.org/viaf/234217153> # Robin O Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin O." ;
   schema:name "Robin O Gandy" ;
    .

<http://viaf.org/viaf/32075782> # Gerald Enoch Sacks
    a schema:Person ;
   schema:birthDate "1933" ;
   schema:deathDate "" ;
   schema:familyName "Sacks" ;
   schema:givenName "Gerald Enoch" ;
   schema:name "Gerald Enoch Sacks" ;
    .

<http://worldcat.org/isbn/9780444851635>
    a schema:ProductModel ;
   schema:isbn "0444851631" ;
   schema:isbn "9780444851635" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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