Introduction to mathematical logic / - Malitz, Jerome, (Springer-Verlag,, 1979)