Consists of academic correspondence with individuals such as Kazimierz Ajdukiewicz, Paul Bernays, Charles Gillespie, and Robert McNaughton, as well as others.

Consists of correspondence related to the Journal of Symbolic Logic, arranged by year and whether the correspondence in incoming or outgoing.