Mathematical logic / - Tourlakis, George J. (Wiley, 2008)