Mathematical logic. - Shoenfield Joseph R (2001)
Keywords: I I C