GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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