Mathematical Logic by Joel W. Robbin