A Course on Mathematical Logic - Srivastava, Shashi Mohan; Capasso, Vincenzo; Casacuberta, Carles (Springer New York, 2013)