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