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