Introduction to mathematical logic - Mendelson, Elliott (Wadsworth & Brooks/Cole Advanced Books & Software, 1987)