An introduction to mathematical logic - Hodel, Richard E. (Dover books on mathematics, 2013)