MATH 501 — Introduction to Mathematical Logic
An introduction to mathematical logic. Topics include: Sentential logic, the predicate calculus, the statement calculus and its completeness theorem, first order theories, consistency and completeness, and Godels Theorem. This course meets CECP Guidelines.