The Unprovability of Consistency
GPTKB entity
Statements (9)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:Vladimir_Sazonov
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Unprovability of Consistency
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1976
|
| gptkbp:subject |
gptkb:Gödel's_incompleteness_theorems
gptkb:logic |
| gptkbp:bfsParent |
gptkb:George_Boolos
|
| gptkbp:bfsLayer |
6
|