skip to content
Classical recursion theory : the theory of functions and sets of natural numbers Preview this item
ClosePreview this item
Checking...

Classical recursion theory : the theory of functions and sets of natural numbers

Publisher: Amsterdam ; New York : Elsevier, 1992.
Series: Studies in logic and the foundations of mathematics, v. 125
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
ISBN: 9780444894830 0444894837
OCLC Number: 731740751
Notes: "First edition 1989"--T.p. verso.
Description: 1 online resource (Online-Datei.)
Series Title: Studies in logic and the foundations of mathematics, v. 125
Responsibility: Piergiorgio Odifreddi.

Abstract:

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/731740751> # Classical recursion theory the theory of functions and sets of natural numbers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "731740751" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196181261#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://dewey.info/class/511.35/> ;
   schema:bookFormat schema:EBook ;
   schema:datePublished "1992" ;
   schema:description "1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/196181261> ;
   schema:genre "Electronic books" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/196181261#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Classical recursion theory the theory of functions and sets of natural numbers" ;
   schema:productID "731740751" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/731740751#PublicationEvent/amsterdam_new_york_elsevier_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/196181261#Agent/elsevier> ; # Elsevier
   schema:url <http://www.ub.unibas.ch/index.php?id=1439> ;
   schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125> ;
   schema:workExample <http://worldcat.org/isbn/9780444894830> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/731740751> ;
    .


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/196181261#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/731740751> ; # Classical recursion theory the theory of functions and sets of natural numbers
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

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

<http://worldcat.org/isbn/9780444894830>
    a schema:ProductModel ;
   schema:isbn "0444894837" ;
   schema:isbn "9780444894830" ;
    .

<http://www.ub.unibas.ch/index.php?id=1439>
   rdfs:comment "Uni Basel: Zugriffsinformationen" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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