Books of Dummett P.