Archivmaterialien zu Michael Dummett, 1925-2011 - Dummett, Michael