Logic for mathematics and computer sicence - Burris, Stanley N. (Prentice Hall, 1998)
Contents: Quantifier-free logics; propositional logic; equational logic; logic with quantifiers.