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

Description for From Frege to G del A Source Book in Mathematical Logic 1879 1931 Source Books in the History of the Sciences

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(Source Books in the History of the Sciences)
By Jean van Heijenoort
Publisher: Harvard University Press | 680 pages | 2002 | ISBN: 0674324498 | DJVU | 6.51 MB
Product Description:

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 volume. The texts that follow depict the emergence of set theory and foundations of mathematics, two new fields on the borders of logic, mathematics, and philosophy. Essays trace the trends that led to Principia mathematica, the appearance of modern paradoxes, and topics including proof theory, the theory of types, axiomatic set theory, and Löwenheim's theorem. The volume concludes with papers by Herbrand and by Gödel, including the latter's famous incompleteness paper. "There can be no doubt that the book is a valuable contribution to the logical literature and that it will certainly spread the knowledge of mathematical logic and its history in the nineteenth and twentieth centuries." --Andrzej Mostowski, Synthese "It is difficult to describe this book without praising it...[From Frege to Gödel] is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it." --Review of Metaphysics
~~~~~~~~~~~~~Download Link~~~~~~~~~~~~~
HotFile.com
Mirror

(No mirrors,pls)

ENJOY ^^!
More books in my Blog !!!

From Frege to G del A Source Book in Mathematical Logic 1879 1931 Source Books in the History of the Sciences.full.rar

From Frege to G del A Source Book in Mathematical Logic 1879 1931 Source Books in the History of the Sciences [TRUSTED HIGH SPEED DOWNLOAD]

Search

1. Rapidshare video-audio list page : 1255
2. J2EE Open Source Toolkit : Building an Enterprise Platform with Open Source Tools (Java Open Source Library)
3. La source des femmes The Source (2011) DvDRip xvid Songz
4. Colonial America (Costume and Fashion Source Books)
5. The 1950s and 1960s (Costume and Fashion Source Books)
6. The 1920s and 1930s (Costume and Fashion Source Books)
7. The 1980s and 1990s (Costume and Fashion Source Books)
8. Elizabethan England (Costume and Fashion Source Books)
9. The Ghaznavid and Seljuk Turks: Poetry as a Source for Iranian History (Routledge Studies the History of Iran and Turkey)
10. Perspectives on the History of Mathematical Logic (Repost)
11. Source Codg: Part I of Fundamentals of Source and Video Codg: Thomas Wiegand, Heiko Schwarz
12. Frege's Lectures on Logic (Reost)
13. The Chemotherapy Source Book
14. Source - an open book
15. Source Readgs Music History
16. ASP.NET Unleashed, 2nd Edition (book source code)