A Tour through Mathematical Logic by Robert S. Wolf