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