A course on mathematical logic - Srivastava, Shashi Mohan (Springer, 2008)