☰

Pure Mathematics

Principles of Mathematical Logic

Sold Out / Out of Stock

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Principles of Mathematical Logic

David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. This translation is based on the second German edition, and has been modified according to the criticisms of Church and Quine. In particular, the authors' original formulation of GÃ¶del's completeness proof for the predicate calculus has been updated. In the first half of the twentieth century, an important debate on the foundations of mathematics took place. Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
Country USA
Manufacturer Amer Mathematical Society
Binding Hardcover
ReleaseDate 1999-07-01
UnitCount 1
EANs 9780821820247

You might also like...

Geometry and the Imagination (AMS Chelsea Publishing)

Geometry and the Imagination (AMS Chelsea Publishing)

Introduction to Metamathematics

Introduction to Metamathematics

Mathematical Logic (Dover Books on Mathematics)

Mathematical Logic (Dover Books on Mathematics)

Principia Mathematica - Volume One

Principia Mathematica - Volume One

Gödel, Escher, Bach: An Eternal Golden Braid

Gödel, Escher, Bach: An Eternal Golden Braid

Computability and Logic Fifth Edition

Computability and Logic Fifth Edition

Fourier Series (Dover Books on Mathematics)

Fourier Series (Dover Books on Mathematics)

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)