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
|
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
|