Mathematical Logic
Propositional and predicate logic and the syntactic notion of proof versus the semantic notion of truth [e.g. soundness and completeness]. Gödel completeness theorem, the compactness theorem and applications of compactness to algebraic problems.
