Certificate in mathematical logic covering propositional logic, first-order logic with identity, important metamathematical results about propositional logic and first-order logic with identity, and set theory.