File Jeffrey Cohen to Haskell B. Curry, 1932-1977 1 folder Box 1b, Folder 35 Repository Manuscripts Division
File Gödel Family: Miscellaneous, 1939-1966 1 folder Box 1c, Folder 54.5 Repository Manuscripts Division
File Heyting, Arend, 1931-1969 1 box (See also Series XIII: Folder 8) Repository Manuscripts Division
File John Haag to Stephen Hechler, 1933-1975 1 folder Box 1c, Folder 68 Repository Manuscripts Division
