symbolic logic: Bibliography

See D. Hilbert and W. Ackermann, Principles of Mathematical Logic (tr. of 2d ed. 1950); W. V. Quine, Mathematical Logic (1968) and Methods of Logic (3d ed. 1972).

• Introduction
• Truth-functional Analysis
• The Predicate Calculus
• Analysis of the Foundations of Mathematics
• Bibliography

The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2012, Columbia University Press. All rights reserved.

See more Encyclopedia articles on: Mathematics