Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:Theodore_Sider
|
| gptkbp:countryOfPublication |
gptkb:United_Kingdom
|
| gptkbp:format |
gptkb:print
|
| gptkbp:genre |
gptkb:text
|
| gptkbp:ISBN |
9780199575583
|
| gptkbp:language |
English
|
| gptkbp:pages |
368
|
| gptkbp:publicationYear |
2010
|
| gptkbp:publisher |
gptkb:Oxford_University_Press
|
| gptkbp:reviewedBy |
gptkb:Philosophia_Mathematica
gptkb:Notre_Dame_Philosophical_Reviews |
| gptkbp:subject |
gptkb:logic
gptkb:philosophy |
| gptkbp:targetAudience |
students of philosophy
|
| gptkbp:topic |
gptkb:logic
gptkb:set_theory gptkb:first-order_logic gptkb:second-order_logic higher-order logic free logic |
| gptkbp:bfsParent |
gptkb:Ted_Sider
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Logic for Philosophy
|