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).
Sections in this article:
- 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