A Concise Introduction to Mathematical Logic - Rautenberg, Wolfgang (Springer Science+Business Media, Inc., 2006)