Collected Works of Kurt Gödel (contributor)
GPTKB entity
Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:containsWorkBy |
gptkb:Kurt_Gödel
|
| gptkbp:correspondedWith |
gptkb:Albert_Einstein
gptkb:Ernst_Zermelo gptkb:Hao_Wang gptkb:John_von_Neumann gptkb:Paul_Bernays Other mathematicians |
| gptkbp:editor |
gptkb:Solomon_Feferman
gptkb:John_W._Dawson_Jr. gptkb:Gregory_H._Moore gptkb:Jean_van_Heijenoort gptkb:Robert_M._Solovay gptkb:Stephen_C._Kleene |
| https://www.w3.org/2000/01/rdf-schema#label |
Collected Works of Kurt Gödel (contributor)
|
| gptkbp:ISBN |
9780195147209
|
| gptkbp:language |
English
|
| gptkbp:notableFor |
comprehensive collection of Gödel's works
critical commentary and notes |
| gptkbp:numberOfVolumes |
3
|
| gptkbp:publicationDate |
1986
1990 1995 |
| gptkbp:publisher |
gptkb:Oxford_University_Press
|
| gptkbp:subject |
gptkb:Kurt_Gödel
|
| gptkbp:subjectArea |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:title |
gptkb:Collected_Works_of_Kurt_Gödel
|
| gptkbp:type |
gptkb:literature
|
| gptkbp:bfsParent |
gptkb:William_W._Tait
|
| gptkbp:bfsLayer |
6
|