An introduction to mathematical logic - Hodel, Richard E. (PWS Pub., 1995)