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