Logical Basis of Metaphysics by Paul Dummett & Sir Michael Dummett