MATH 4231: Predicate Logic An introduction to predicate logic; elements of formal logic systems; set theory and propositional calculus, completeness theorems and the nature of proofs.