Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:John_P._Burgess
gptkb:George_S._Boolos gptkb:Richard_C._Jeffrey |
| gptkbp:country |
gptkb:United_States
|
| gptkbp:edition |
fifth edition
|
| gptkbp:firstPublished |
1974
|
| gptkbp:ISBN |
9780521701464
|
| gptkbp:language |
English
|
| gptkbp:mediaType |
gptkb:print
|
| gptkbp:notableFor |
introduction to logic and computability
|
| gptkbp:pages |
400
|
| gptkbp:publisher |
gptkb:Cambridge_University_Press
|
| gptkbp:subject |
gptkb:logic
computability theory |
| gptkbp:topic |
gptkb:Gödel's_incompleteness_theorems
gptkb:set_theory gptkb:first-order_logic recursion theory Turing machines |
| gptkbp:usedIn |
university courses
|
| gptkbp:bfsParent |
gptkb:George_Boolos
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Computability and Logic
|