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