Introduction to Mathematical Logic

3 credits

Propositional and first-order predicate logic from a mathematical viewpoint. Axiomatically built theories and their models. Detailed study of one or more simple mathematical theories. Recursive functions. Basic ideas of automated theorem proving. ***Prerequisite: MATH 221.***