skip to content
Generalized recursion theory ... 2, Proceedings Preview this item
ClosePreview this item
Checking...

Generalized recursion theory ... 2, Proceedings

Author: Gerald Enoch Sacks; Robin O Gandy; Jens Erik Fenstad; Symposium On Generalized Recursion Theory. 1è. 1972. Oslo..
Publisher: Amsterdam ; London : North Holland ; New York : American Elsevier, 1978.
Series: Studies in logic and the foundations of mathematics, 94
Edition/Format:   Print bookView all editions and formats
Publication:Generalized recursion theory ... 2
Database:WorldCat
Rating:

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

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Gerald Enoch Sacks; Robin O Gandy; Jens Erik Fenstad; Symposium On Generalized Recursion Theory. 1è. 1972. Oslo..
ISBN: 0444851631 9780444851635
OCLC Number: 463041712
Notes: Notes bibliogr. en fin de chapitres.
Description: VII-417 p ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, 94
Responsibility: of the 1977 Oslo symposium ; edited by J.E. Fenstad, ... R.O. Gandy, ... G.E. Sacks.
More information:

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/463041712> # Generalized recursion theory ... 2, Proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "463041712" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806413137#Place/amsterdam> ; # Amsterdam
   schema:author <http://experiment.worldcat.org/entity/work/data/806413137#Organization/symposium_on_generalized_recursion_theory_1e_1972_oslo> ; # Symposium On Generalized Recursion Theory. 1è. 1972. Oslo..
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1978" ;
   schema:editor <http://viaf.org/viaf/32075782> ; # Gerald Enoch Sacks
   schema:editor <http://experiment.worldcat.org/entity/work/data/806413137#Person/fenstad_jens_erik> ; # Jens Erik Fenstad
   schema:editor <http://experiment.worldcat.org/entity/work/data/806413137#Person/gandy_robin_o> ; # Robin O. Gandy
   schema:exampleOfWork <http://worldcat.org/entity/work/id/806413137> ;
   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 ... 2, Proceedings" ;
   schema:productID "463041712" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/463041712#PublicationEvent/amsterdam_london_north_holland_new_york_american_elsevier_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806413137#Agent/north_holland> ; # North Holland
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806413137#Agent/american_elsevier> ; # American Elsevier
   schema:workExample <http://worldcat.org/isbn/9780444851635> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/463041712> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/806413137#Agent/american_elsevier> # American Elsevier
    a bgn:Agent ;
   schema:name "American Elsevier" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Organization/symposium_on_generalized_recursion_theory_1e_1972_oslo> # Symposium On Generalized Recursion Theory. 1è. 1972. Oslo..
    a schema:Organization ;
   schema:name "Symposium On Generalized Recursion Theory. 1è. 1972. 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#Person/gandy_robin_o> # Robin O. Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin O." ;
   schema:name "Robin O. Gandy" ;
    .

<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/463041712> ; # Generalized recursion theory ... 2, Proceedings
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<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.