GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Kurt Gödel's posthumous works
URI:
https://gptkb.org/entity/Kurt_Gödel's_posthumous_works
GPTKB entity
Statements (24)
Predicate
Object
gptkbp:instanceOf
anthology
gptkbp:author
gptkb:Kurt_Gödel
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
Kurt Gödel's posthumous works
gptkbp:language
gptkb:German
English
gptkbp:notableWork
gptkb:Collected_Works:_Volume_I,_Publications_1929–1936
gptkb:Collected_Works:_Volume_II,_Publications_1938–1974
gptkb:Collected_Works:_Volume_III,_Unpublished_Essays_and_Lectures
gptkbp:publicationDate
1986
1990
1995
gptkbp:publisher
gptkb:Oxford_University_Press
gptkbp:subject
gptkb:logic
gptkb:philosophy
gptkb:set_theory
incompleteness theorems
gptkbp:bfsParent
gptkb:Gödel's_ontological_proof
gptkbp:bfsLayer
5