"A. M. A. Dummett"