Mathematical logic - Shoenfield, Joseph R.; Logic, Symbolic And Mathematical (Massachusetts Addison-Wesley Publishing, 1967)