Mathematical Logic by Schoenfeld & Joseph R. Shoenfield