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