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