Mathematical Logic door George J. Tourlakis & George Tourlakis