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