From Frege to Gödel: a source book in mathematical logic, 1879-1931

From Frege to Gödel: A source book in ma

📁 From Frege to Gödel: A source book in mathematical logic, 1879-1931

✍ Jean van Heijenoort 📂 Library 📅 1967 🏛 Harvard University Press 🌐 English

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the

From Frege to Godel: A Source Book in Ma

📁 From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

✍ Jean van Heijenoort 📂 Library 📅 2002 🏛 Harvard University Press 🌐 English

<p> The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the p

From Frege to Godel: A Source Book in Ma

📁 From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

✍ Jean Van Heijenoort (editor) 📂 Library 📅 1999 🏛 iUniverse 🌐 English

<span>“Collected here in one volume are some thirty-six high quality translations into English of the most important foreign-language works in mathematical logic, as well as articles and letters by Whitehead, Russell, Norbert Weiner and Post…This book is, in effect, the record of an important chapte

From Frege to Goedel: A source book in m

📁 From Frege to Goedel: A source book in mathematical logic, 1879-1931

✍ Jean van Heijenoort (eds.) 📂 Library 📅 1967 🏛 Harvard University Press 🌐 English

<p>The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the pub

From Frege to Goedel: A source book in m

📁 From Frege to Goedel: A source book in mathematical logic, 1879-1931

✍ Jean van Heijenoort 📂 Library 📅 2002 🏛 Harvard University Press 🌐 English

Gathered together in this book 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 volum

From Frege to Godel: A Source Book in Ma

📁 From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)

✍ Jean van Heijenoort 📂 Library 📅 2002 🌐 English

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publ