A Tour Through Mathematical Logic by Robert Wolf & Robert S. Wolf