Gödel's correspondence

URI: https://gptkb.org/entity/Gödel's_correspondence
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:library
gptkbp:archivedAt gptkb:Institute_for_Advanced_Study
gptkb:Princeton_University
gptkbp:hasLetter gptkb:Albert_Einstein
gptkb:Hao_Wang
gptkb:John_von_Neumann
gptkb:Paul_Bernays
gptkb:Solomon_Feferman
gptkb:Oscar_Morgenstern
https://www.w3.org/2000/01/rdf-schema#label Gödel's correspondence
gptkbp:language gptkb:German
English
gptkbp:period 20th century
gptkbp:publishedIn gptkb:Collected_Works_of_Kurt_Gödel
gptkbp:relatedTo gptkb:Kurt_Gödel
gptkbp:subject gptkb:logic
gptkb:mathematics
gptkb:philosophy
gptkbp:bfsParent gptkb:Kurt_Gödel_Collected_Works
gptkbp:bfsLayer 7