Bohnert, Herbert G. "Natural Deduction System for Type Theory", 1973
File — Box: 4, Folder: 2
Papers of William Tuthill Parry (1908 1988), Professor of Philosophy, State University of New York at Buffalo, concerning his teaching, study and writing on analytic implications, modal and symbolic logic, including correspondence with C.I. Lewis, and Edward Hacker; also included is correspondence, 1936-1937, concerning the founding of the journal, Science and Society; and Parry's directorship of the Progressive Labor School in Boston, Massachusetts, 1937-1938, and his dismissal from the Massachusetts Works Progress Administration (WPA) in 1940 because of Parry's membership in the Communist Party. Also included are files concerning Parry's testimony before the House Committee on Un-American Activities in 1953 and the reaction of the University of Buffalo to this event.
Terms of Access and Use
The William T. Parry papers, circa 1919-1984, is open to researchers.
From the Collection: 8 Linear Feet (5 cartons, 1 manuscript box)