From Frege to Gödel A Source Book in Mathematical Logic, 1879-1931 |
|
| Author:
| van Heijenoort, Jean |
| Series title: | Source Books in the History of the Sciences Ser. |
| ISBN: | 978-0-674-32449-7 |
| Publication Date: | Jan 2002 |
| Publisher: | Harvard University Press
|
| Book Format: | Paperback |
| List Price: | USD $50.50 |
Book Description:
|
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.