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