Srivastava, S.M. <br/><br/>
A Course on Mathematical logic 
by S.M. Srivastava 
 -  Springer India  2012