Mathematical logic - Shoenfield, Joseph R. (Association for Symbolic Logic, 2001)