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