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