skip to content
Computability : an introduction to recursive function theory Preview this item
ClosePreview this item
Checking...

Computability : an introduction to recursive function theory

Author: Nigel Cutland
Publisher: Cambridge (GB) ; New York ; Melbourne : Cambridge University Press, 1980.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This title is an introduction to computability theory covering: non-computability and undecidability; the theory of recursive and recursively enumerable sets; Gildel's incompleteness theorem; degrees  Read more...

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

Document Type: Book
All Authors / Contributors: Nigel Cutland
ISBN: 0521223849 9780521223843 0521294657 9780521294652
OCLC Number: 489888315
Description: 1 v. (X-251 p.) : fig. ; 24 cm
Contents: Exercices.
Responsibility: Nigel Cutland ...

Reviews

Editorial reviews

Publisher Synopsis

"Dr. Cutland has produced here an excellent and much needed textbook which will undoubtedly help to establish recursion theory as a more widely taught branch of mainstream mathematics." Mathematics Read more...

 
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/489888315> # Computability an introduction to recursive function theory
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "489888315" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291869516#Place/melbourne> ; # Melbourne
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/291869516#Place/cambridge_gb> ; # Cambridge (GB)
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables_fonctions_recursives> ; # fonctions calculables--fonctions récursives
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/decidabilite> ; # décidabilité
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/calculabilite_fonctions_recursives> ; # calculabilité--fonctions récursives
   schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonction_recursive> ; # fonction récursive
   schema:about <http://dewey.info/class/519.4/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_de_la_recursivite> ; # Théorie de la récursivité
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables> ; # Fonctions calculables
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_recursivite> ; # théorie récursivité
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/complexite_calcul> ; # complexité calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/recursivite_theorie_de_la> ; # Récursivité, Théorie de la
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_recursives_informatique> ; # Fonctions récursives--Informatique
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonction_calcul> ; # fonction calcul
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/291869516#Person/cutland_nigel_1944> ; # Nigel Cutland
   schema:datePublished "1980" ;
   schema:description "Exercices." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/291869516> ;
   schema:inLanguage "en" ;
   schema:name "Computability an introduction to recursive function theory" ;
   schema:productID "489888315" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/489888315#PublicationEvent/cambridge_gb_new_york_melbourne_cambridge_university_press_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/291869516#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521223843> ;
   schema:workExample <http://worldcat.org/isbn/9780521294652> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/489888315> ;
    .


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/291869516#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Person/cutland_nigel_1944> # Nigel Cutland
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:deathDate "" ;
   schema:familyName "Cutland" ;
   schema:givenName "Nigel" ;
   schema:name "Nigel Cutland" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/calculabilite_fonctions_recursives> # calculabilité--fonctions récursives
    a schema:Intangible ;
   schema:name "calculabilité--fonctions récursives" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
   schema:name "complexité calcul" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonction_recursive> # fonction récursive
    a schema:Intangible ;
   schema:name "fonction récursive" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
   schema:name "Fonctions calculables" ;
   schema:name "Fonctions calculables"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_calculables_fonctions_recursives> # fonctions calculables--fonctions récursives
    a schema:Intangible ;
   schema:name "fonctions calculables--fonctions récursives" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/fonctions_recursives_informatique> # Fonctions récursives--Informatique
    a schema:Intangible ;
   schema:name "Fonctions récursives--Informatique" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/recursivite_theorie_de_la> # Récursivité, Théorie de la
    a schema:Intangible ;
   schema:name "Récursivité, Théorie de la" ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_de_la_recursivite> # Théorie de la récursivité
    a schema:Intangible ;
   schema:name "Théorie de la récursivité"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/291869516#Topic/theorie_recursivite> # théorie récursivité
    a schema:Intangible ;
   schema:name "théorie récursivité" ;
    .

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

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions" ;
    .

<http://worldcat.org/isbn/9780521223843>
    a schema:ProductModel ;
   schema:isbn "0521223849" ;
   schema:isbn "9780521223843" ;
    .

<http://worldcat.org/isbn/9780521294652>
    a schema:ProductModel ;
   schema:isbn "0521294657" ;
   schema:isbn "9780521294652" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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