4 credits An introduction to the propositional and predicate calculus, notions of proof, model, consistency, and truth; the Deduction, Compactness, and First Incompleteness Theorems and philosophical ramifications. Same as MATH 340. Prerequisite: May differ between the 2 departments. CLA-Breadth/Interdisciplinary
