A Course on Mathematical Logic - Shashi Mohan Srivasthva (Springer, 2014)