AMS Bookstore LOGO amslogo
Return to List

AMS TextbooksAMS Applications-related Books

Principles of Mathematical Logic
D. Hilbert and W. Ackermann
cover
SEARCH THIS BOOK:

AMS Chelsea Publishing
1950; 172 pp; hardcover
Volume: 69
Reprint/Revision History:
first AMS printing 1999
ISBN-10: 0-8218-2024-9
ISBN-13: 978-0-8218-2024-7
List Price: US$32
Member Price: US$28.80
Order Code: CHEL/69.H
[Add Item]

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.

Readership

Graduate students and research mathematicians interested in logic and foundations.

Table of Contents

  • The sentential calculus
  • The calculus of classes (monadic predicate calculus)
  • The restricted predicate calculus
  • The extended predicate calculus
  • Editor's notes
  • Bibliography
  • Index
Powered by MathJax

  AMS Home | Comments: webmaster@ams.org
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia