An introduction to the theory and practice of elementary symbolic logic. Special emphasis will be placed upon the logical analysis of mathematical proof and upon a proof of the consistency of elementary logic. LEC View current sections...