MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Principles of mathematical logic / D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie and F. Steinhardt ; edited and with notes by Robert E. Luce.

By: Hilbert, David, 1862-1943.
Contributor(s): Hilbert, David, 1862-1943. Grundzüge der theoretischen Logik. English | Ackermann, W. (Wilhelm), 1896- | Luce, Robert E.
Material type: materialTypeLabelBookPublisher: Providence, R.I. : AMS Chelsea Pub., 1991Description: xii, 172 p. ; 24 cm.ISBN: 0821820249.Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
Contents:
The sentential calculus -- The calculus of classes (Monadic predicate calculus) -- The restricted predicate calculus -- The extended predicate calculus.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 511.3 (Browse shelf(Opens below)) 1 Available 00075547
Total holds: 0

Enhanced descriptions from Syndetics:

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 Godel'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.

English translation of the 2nd ed. of Grundzge der theoretischen Logik published in 1938.

Previously published: New York, Chelsea Pub. Co., 1950.

Bibliography: (pages 169-170) and index.

The sentential calculus -- The calculus of classes (Monadic predicate calculus) -- The restricted predicate calculus -- The extended predicate calculus.

Table of contents provided by Syndetics

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