A tour through mathematical logic - Wolf, Robert S. (The Carus mathematical monographs, 2005)