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: | AUD $88.95 |
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.