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