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