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