  The Donald Williams papers, containing a substantial quantity of unpublished material, are in the archives of Harvard University.  They include most of the text of a treatise on Logic, in the tradition of J. M. Keynes, expounding the various species of judgment and inference, rather than the systematic axiomatizations of deductive inference, and the metalogic, which superseded that tradition.