A Concise Introduction to Mathematical Logic - Rautenberg, Wolfgang (Springer New York, 2006)