Study of formal systems of logic using mathematical techniques to analyze reasoning and proof, including propositional and predicate logic, model theory, and set theory.