skip to content
Aspects of incompleteness Preview this item
ClosePreview this item
Checking...

Aspects of incompleteness

Author: Per Lindström
Publisher: Natick, Mass. : A.K. Peters, ©2003.
Series: Lecture notes in logic, 10.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Summary:

In addition to the standard results of Godel and others on incompleteness, (non-) finite axiomability and interpretability, this book contains a thorough treatment of partial conservativity and  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: Per Lindström
ISBN: 156881173X 9781568811734
OCLC Number: 49525892
Description: x, 159 pages ; 24 cm.
Series Title: Lecture notes in logic, 10.
Responsibility: by Per Lindström.

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/49525892> # Aspects of incompleteness
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "49525892" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/629074#Place/natick_mass> ; # Natick, Mass.
   schema:about <http://experiment.worldcat.org/entity/work/data/629074#Topic/recursie> ; # Recursie
   schema:about <http://experiment.worldcat.org/entity/work/data/629074#Topic/onvolledigheidsstelling> ; # Onvolledigheidsstelling
   schema:about <http://experiment.worldcat.org/entity/work/data/629074#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/968811> ; # Incompleteness theorems
   schema:about <http://experiment.worldcat.org/entity/work/data/629074#Topic/theoreme_d_incompletude> ; # Théorème d'incomplétude
   schema:about <http://experiment.worldcat.org/entity/work/data/629074#Topic/theorie_de_la_recursivite> ; # Théorie de la récursivité
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2003" ;
   schema:creator <http://viaf.org/viaf/40107897> ; # Per Lindström
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/629074> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/629074#Series/lecture_notes_in_logic> ; # Lecture notes in logic ;
   schema:name "Aspects of incompleteness"@en ;
   schema:productID "49525892" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/49525892#PublicationEvent/natick_mass_a_k_peters_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/629074#Agent/a_k_peters> ; # A.K. Peters
   schema:workExample <http://worldcat.org/isbn/9781568811734> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/49525892> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/629074#Series/lecture_notes_in_logic> # Lecture notes in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/49525892> ; # Aspects of incompleteness
   schema:name "Lecture notes in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/629074#Topic/onvolledigheidsstelling> # Onvolledigheidsstelling
    a schema:Intangible ;
   schema:name "Onvolledigheidsstelling"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/629074#Topic/theoreme_d_incompletude> # Théorème d'incomplétude
    a schema:Intangible ;
   schema:name "Théorème d'incomplétude"@en ;
    .

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

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

<http://id.worldcat.org/fast/968811> # Incompleteness theorems
    a schema:Intangible ;
   schema:name "Incompleteness theorems"@en ;
    .

<http://viaf.org/viaf/40107897> # Per Lindström
    a schema:Person ;
   schema:birthDate "1936" ;
   schema:deathDate "2009" ;
   schema:familyName "Lindström" ;
   schema:givenName "Per" ;
   schema:name "Per Lindström" ;
    .

<http://worldcat.org/isbn/9781568811734>
    a schema:ProductModel ;
   schema:isbn "156881173X" ;
   schema:isbn "9781568811734" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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