Mathematical logic - Tourlakis George (New Jersey John Wiley, 2008)
Keywords: Mathematical logic; Symbolic logic