skip to content
Computability and logic. Preview this item
ClosePreview this item
Checking...

Computability and logic.

Author: George Boolos; John P Burgess; Richard C Jeffrey
Publisher: Cambridge ; New York : Cambridge University Press, 2002.
Edition/Format:   eBook : Document : English : 4th ed.View all editions and formats
Summary:
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.
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: Electronic books
Additional Physical Format: Print version:
Boolos, George.
Computability and logic.
Cambridge ; New York : Cambridge University Press, 2002
(DLC) 2001043302
(OCoLC)47755792
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: George Boolos; John P Burgess; Richard C Jeffrey
ISBN: 0511078064 9780511078064 0511076495 9780511076497 9781139164931 1139164937
OCLC Number: 57417424
Description: 1 online resource (xi, 356 pages) : illustrations
Contents: Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions.
More information:

Abstract:

Now in its fourth edition, this book on logic has been enhanced and rewritten.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

'... gives an excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly 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/57417424> # Computability and logic.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "57417424" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1910353#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/logica> ; # Logica
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/berekenbaarheid> ; # Berekenbaarheid
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://experiment.worldcat.org/entity/work/data/1910353#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:bookEdition "4th ed. /" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/106951403> ; # John P. Burgess
    schema:contributor <http://viaf.org/viaf/268710675> ; # Richard C. Jeffrey
    schema:creator <http://viaf.org/viaf/34530215> ; # George Boolos
    schema:datePublished "2002" ;
    schema:description "Cover; Half-title; Title; Copyright; Dedication; Contents; Preface; Computability Theory; 1 Enumerability; 2 Diagonalization; 3 Turing Computability; 4 Uncomputability; 5 Abacus Computability; 6 Recursive Functions; 7 Recursive Sets and Relations; 8 Equivalent Definitions of Computability; Basic Metalogic; 9 A Précis of First-Order Logic: Syntax; 10 A Précis of First-Order Logic: Semantics; 11 The Undecidability of First-Order Logic; 12 Models; 13 The Existence of Models; 14 Proofs and Completeness; 15 Arithmetization; 16 Representability of Recursive Functions."@en ;
    schema:description "Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1910353> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/47755792> ;
    schema:name "Computability and logic."@en ;
    schema:productID "57417424" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/57417424#PublicationEvent/cambridge_new_york_cambridge_university_press_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1910353#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://catdir.loc.gov/catdir/toc/cam024/2001043302.html> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077> ;
    schema:url <https://login.lacollegelibrary.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125077> ;
    schema:url <http://dx.doi.org/10.1017/CBO9781139164931> ;
    schema:url <http://site.ebrary.com/id/10513151> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=221075> ;
    schema:url <https://doi.org/10.1017/CBO9781139164931> ;
    schema:url <http://belhaven.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125077> ;
    schema:workExample <http://worldcat.org/isbn/9780511076497> ;
    schema:workExample <http://worldcat.org/isbn/9780511078064> ;
    schema:workExample <http://worldcat.org/isbn/9781139164931> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/57417424> ;
    .


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

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

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

<http://experiment.worldcat.org/entity/work/data/1910353#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

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

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .

<http://viaf.org/viaf/106951403> # John P. Burgess
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Burgess" ;
    schema:givenName "John P." ;
    schema:name "John P. Burgess" ;
    .

<http://viaf.org/viaf/268710675> # Richard C. Jeffrey
    a schema:Person ;
    schema:familyName "Jeffrey" ;
    schema:givenName "Richard C." ;
    schema:name "Richard C. Jeffrey" ;
    .

<http://viaf.org/viaf/34530215> # George Boolos
    a schema:Person ;
    schema:familyName "Boolos" ;
    schema:givenName "George" ;
    schema:name "George Boolos" ;
    .

<http://worldcat.org/isbn/9780511076497>
    a schema:ProductModel ;
    schema:isbn "0511076495" ;
    schema:isbn "9780511076497" ;
    .

<http://worldcat.org/isbn/9780511078064>
    a schema:ProductModel ;
    schema:isbn "0511078064" ;
    schema:isbn "9780511078064" ;
    .

<http://worldcat.org/isbn/9781139164931>
    a schema:ProductModel ;
    schema:isbn "1139164937" ;
    schema:isbn "9781139164931" ;
    .

<http://www.worldcat.org/oclc/47755792>
    a schema:CreativeWork ;
    rdfs:label "Computability and logic." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/57417424> ; # Computability and logic.
    .

<https://doi.org/10.1017/CBO9781139164931>
    rdfs:comment "from Cambridge Books Online" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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