From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
GPTKB entity
Statements (30)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:book
|
gptkbp:containsWorkBy |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell gptkb:David_Hilbert gptkb:Ernst_Zermelo gptkb:Gottlob_Frege gptkb:John_von_Neumann gptkb:Kurt_Gödel gptkb:Paul_Bernays gptkb:Wilhelm_Ackermann gptkb:Thoralf_Skolem gptkb:Leopold_Löwenheim gptkb:Moses_Schönfinkel gptkb:Jacques_Herbrand |
gptkbp:countryOfPublication |
gptkb:United_States
|
gptkbp:editor |
gptkb:Jean_van_Heijenoort
|
https://www.w3.org/2000/01/rdf-schema#label |
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
|
gptkbp:ISBN |
9780674324497
|
gptkbp:language |
English
|
gptkbp:mediaType |
gptkb:print
|
gptkbp:notableFor |
historical commentary by Jean van Heijenoort
translations of key papers in logic collection of primary sources in mathematical logic |
gptkbp:pages |
680
|
gptkbp:publicationYear |
1967
|
gptkbp:publisher |
gptkb:Harvard_University_Press
|
gptkbp:subject |
gptkb:logic
history of logic |
gptkbp:bfsParent |
gptkb:Jean_van_Heijenoort
|
gptkbp:bfsLayer |
6
|