Mathematical logic - Shoenfield, Joseph R (Addison-Wesley series in logic, 1967)