Mathematical Logic by J. Donald Monk