A Course on Mathematical Logic - Srivastava, S. M. (Springer New York, 2008)