A tour through mathematical logic - Wolf, Robert S. (Mathematical Association of America, 2005)