Logic

A course in Propositional and First-order Predicate Logic with Identity, a Theory of Definitions, Set Theory, and several examples of Axiomatic Systems.