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

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
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
Congresses
Congresos
congresos y asambleas
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://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
    schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/teoria_de_la_recursividad> ; # Teoría de la recursividad
    schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/funciones_recursivas> ; # Funciones recursivas
    schema:about <http://experiment.worldcat.org/entity/work/data/806413137#Topic/recursion_theory> ; # Recursion theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/234217153> ; # Robin Oliver Gandy
    schema:contributor <http://viaf.org/viaf/22191202> ; # Jens Erik Fenstad
    schema:contributor <http://viaf.org/viaf/32075782> ; # Gerald E. Sacks
    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#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<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#Place/oslo_noruega> # Oslo, Noruega)
    a schema:Place ;
    schema:name "Oslo, Noruega)" ;
    .

<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://experiment.worldcat.org/entity/work/data/806413137#Topic/recursion_theory> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory" ;
    .

<http://experiment.worldcat.org/entity/work/data/806413137#Topic/teoria_de_la_recursividad> # Teoría de la recursividad
    a schema:Intangible ;
    schema:name "Teoría de la recursividad" ;
    .

<http://id.loc.gov/authorities/subjects/sh85112012> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory" ;
    .

<http://viaf.org/viaf/22191202> # Jens Erik Fenstad
    a schema:Person ;
    schema:familyName "Fenstad" ;
    schema:givenName "Jens Erik" ;
    schema:name "Jens Erik Fenstad" ;
    .

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

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