A Course on Mathematical Logic - Srivastava, S. M. (Springer Science+Business Media, LLC, 2008)