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; R O Gandy; Gerald E Sacks
Publisher: Amsterdam : North-Holland Pub. Co., 1978.
Series: Studies in logic and the foundations of mathematics, v. 94.
Edition/Format:   eBook : Document : 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 online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo).
Generalized recursion theory II.
Amsterdam : North-Holland Pub. Co., 1978
(DLC) 78005366
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jens Erik Fenstad; R O Gandy; Gerald E Sacks
ISBN: 9780080955025 0080955029
OCLC Number: 649907775
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (vii, 417 pages).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Series Title: Studies in logic and the foundations of mathematics, v. 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/649907775> # Generalized recursion theory II : proceedings of the 1977 Oslo Symposium
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "649907775" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856209789#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/3856209789#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/3856209789#Thing/mathematics> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
    schema:about <http://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
    schema:about <http://experiment.worldcat.org/entity/work/data/3856209789#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/3856209789#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
    schema:contributor <http://viaf.org/viaf/32075782> ; # Gerald E. Sacks
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3856209789#Person/fenstad_jens_erik> ; # Jens Erik Fenstad
    schema:creator <http://experiment.worldcat.org/entity/work/data/3856209789#Meeting/symposium_on_generalized_recursion_theory_2nd_1977_university_of_oslo> ; # Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
    schema:datePublished "1978" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3856209789> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856209789#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3856209789#CreativeWork/generalized_recursion_theory_ii> ;
    schema:name "Generalized recursion theory II : proceedings of the 1977 Oslo Symposium"@en ;
    schema:productID "649907775" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/649907775#PublicationEvent/amsterdam_north_holland_pub_co_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3856209789#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=407886> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/3770580.html> ;
    schema:url <http://site.ebrary.com/id/10391685> ;
    schema:url <http://books.google.com/books?id=qevuAAAAMAAJ> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444851635> ;
    schema:workExample <http://worldcat.org/isbn/9780080955025> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/649907775> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3856209789#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/3856209789#Meeting/symposium_on_generalized_recursion_theory_2nd_1977_university_of_oslo> # Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3856209789#Place/university_of_oslo> ; # University of Oslo)
    schema:name "Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856209789#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/3856209789#Place/university_of_oslo> # University of Oslo)
    a schema:Place ;
    schema:name "University of Oslo)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856209789#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/649907775> ; # 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/3856209789#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856209789#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856209789#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"@en ;
    schema:name "Récursivité, Théorie de la--Congrès"@fr ;
    .

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

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

<http://viaf.org/viaf/234217153> # Robin O. Gandy
    a schema:Person ;
    schema:familyName "Gandy" ;
    schema:givenName "Robin O." ;
    schema:givenName "R. O." ;
    schema:name "Robin O. 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/entity/work/data/3856209789#CreativeWork/generalized_recursion_theory_ii>
    a schema:CreativeWork ;
    rdfs:label "Generalized recursion theory II." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/649907775> ; # Generalized recursion theory II : proceedings of the 1977 Oslo Symposium
    .

<http://worldcat.org/isbn/9780080955025>
    a schema:ProductModel ;
    schema:isbn "0080955029" ;
    schema:isbn "9780080955025" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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