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

Generalized recursion theory II : proceedings of the 1977 Osio Symposium

Author: Jens Erik Fenstad; Robin Oliver Gandy; Gerald E Sacks
Publisher: Amsterdam ; Oxford : North-Holland, 1978.
Series: 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: Conference papers and proceedings
Congresos
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Jens Erik Fenstad; Robin Oliver Gandy; Gerald E Sacks
ISBN: 0444851631 9780444851635
OCLC Number: 644359531
Notes: The Second Symposium on Generalized Recursion Theory was held at the University of Oslo, June 13-17, 1977 - Preface.
Description: vii, 417 p.
Series Title: Studies in logic and the foundations of mathematics, 94.
Responsibility: edited by J.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/644359531> # Generalized recursion theory II : proceedings of the 1977 Osio Symposium
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "644359531" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806413137#Place/oxford> ; # Oxford
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806413137#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursion_theory_congresses> ; # Recursion theory--Congresses
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/funciones_recursivas> ; # Funciones recursivas
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/806413137#Person/sacks_gerald_e> ; # Gerald E. Sacks
   schema:contributor <http://viaf.org/viaf/234217153> ; # Robin Oliver Gandy
   schema:contributor <http://experiment.worldcat.org/entity/work/data/806413137#Person/fenstad_jens_erik> ; # Jens Erik Fenstad
   schema:creator <http://experiment.worldcat.org/entity/work/data/806413137#Meeting/symposium_on_generalized_recursion_theory_2o_1977_oslo_noruega> ; # Symposium on Generalized Recursion Theory (2o. 1977. Oslo, Noruega)
   schema:datePublished "1978" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/806413137> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings" ;
   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 Osio Symposium" ;
   schema:numberOfPages "417" ;
   schema:productID "644359531" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/644359531#PublicationEvent/amsterdam_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/644359531> ;
    .


Related Entities

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

<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/sacks_gerald_e> # Gerald E. Sacks
    a schema:Person ;
   schema:familyName "Sacks" ;
   schema:givenName "Gerald E." ;
   schema:name "Gerald E. Sacks" ;
    .

<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/644359531> ; # Generalized recursion theory II : proceedings of the 1977 Osio Symposium
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Topic/funciones_recursivas> # Funciones recursivas
    a schema:Intangible ;
   schema:name "Funciones recursivas" ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
   schema:name "Recursion theory" ;
    .

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

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