Mathematical Logic by George J. Tourlakis & George Tourlakis