Classical Mathematical Logic by Richard L. Epstein