Mathematical logic - Shoenfield Joseph R. (1967)