Mathematical logic - Shoenfield, Joseph R. 1927-2000 (Addison-Wesley Publ. Co., 1967)