Kurt Gödel Collected Works, Volume 3

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Kurt Gödel Collected Works, Volume 3