Collected Works of Kurt Gödel

URI: https://gptkb.org/entity/Collected_Works_of_Kurt_Gödel
GPTKB entity
Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:book_series
gptkbp:author gptkb:Kurt_Gödel
gptkbp:containsWorkBy gptkb:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
gptkb:Gödel's_Incompleteness_Theorems
Consistency of the Continuum Hypothesis
gptkbp:countryOfPublication gptkb:United_States
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
gptkbp:firstPublished 1986
https://www.w3.org/2000/01/rdf-schema#label Collected Works of Kurt Gödel
gptkbp:ISBN 9780195147209
gptkbp:language English
gptkbp:mediaType gptkb:print
gptkbp:numberOfVolumes 5
gptkbp:publicationYear 2003
gptkbp:publisher gptkb:Oxford_University_Press
gptkbp:subject gptkb:logic
gptkb:mathematics
gptkb:philosophy
gptkbp:bfsParent gptkb:Solomon_Feferman
gptkbp:bfsLayer 5