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