## PHIL 310: Introduction to Symbolic Logic (3)

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