Frege and Gödel: Two Fundamental Texts in Mathematical Logic

4.14 avg rating
( 7 ratings by Goodreads )
9781583485965: Frege and Gödel: Two Fundamental Texts in Mathematical Logic
View all copies of this ISBN edition:

This volume, a shortened edition of Mr. van Heijenoort's internationally acclaimed From Frege to Gdel: A Source Book in Mathematical Logic, 1879-1931 (HUP 1967), makes available in English the two most important works in the growth of modern mathematical logic. Heralded by Leibniz, modern logic had its beginnings in the work of Boole, DeMorgan, and Jevons, but the 1879 publication of Gottlob Frege's Begriffsschrift opened a great epoch in the history of logic with the full-form presentation of the propositional calculus and quantification theory.Frege and Gdel: Two Fundamental Texts in Mathematical Logic begins with this short book, which ushered in the classical age of mathematical logic by outlining the construction of a system of logical symbolism. The volume concludes with Gdel's famous incompleteness paper of 1931, which changed the development of logic and the foundations of mathematics by revealing the intrinsic limitations of formal systems, and brought to an end the classical phase.Mr. van Heijenoort has provided a new introduction which sets the Frege and Gdel pieces in perspective in the development of modern logic and points out difficulties in interpretation. Editorial comments, footnotes, and bibliographic information offer additional explanatory material.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace


Heijenoort, Jean van
Published by iUniverse (1999)
ISBN 10: 1583485961 ISBN 13: 9781583485965
New Paperback Quantity Available: 2
Murray Media

Book Description iUniverse, 1999. Paperback. Condition: New. Never used!. Seller Inventory # P111583485961

More information about this seller | Contact this seller

Buy New
£ 55.24
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds