Introduction to mathematical logic - Mendelson, Elliott (Wadsworth & Brooks/Cole mathematics series., 1987)