Mathematical logic - Shoenfield, Joseph Robert (Association for Symbolic Logic, 2000)