Kurt Gödel Collected Works, Volume 3

URI: https://gptkb.org/entity/Kurt_Gödel_Collected_Works,_Volume_3
GPTKB entity
Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:Kurt_Gödel
gptkbp:containsWorkBy gptkb:Kurt_Gödel
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
https://www.w3.org/2000/01/rdf-schema#label Kurt Gödel Collected Works, Volume 3
gptkbp:ISBN 9780195072556
gptkbp:language English
gptkbp:publicationYear 1995
gptkbp:publisher gptkb:Oxford_University_Press
gptkbp:series gptkb:Kurt_Gödel_Collected_Works
gptkbp:subject gptkb:logic
gptkb:mathematics
gptkb:philosophy
gptkbp:volume 3
gptkbp:bfsParent gptkb:Gödel's_ontological_proof
gptkbp:bfsLayer 5