Papers of Boleslaw Sobocinski; including personal papers; bibliography of his works; files representing his founding and editing of the Notre Dame Journal of Formal Logic; files concerning the transition in management of the journal from Sobocinski to V. Frederick Rickey; Rose Rand's translations of works by Stanislaw Lesniewski; Sobocinski's ontology notes.

Correspondence with Robert Speaight, 1941-1944, and others concerning Simon's work; manuscripts by Simon; newspaper and journal articles concerning Simon; reviews of his publications; and certificates and awards given Simon. Also microfilm of correspondence with editors, Supreme Court Justices, and John F. O'Hara, CSC, then President of Notre Dame; of clippings from Marquette University and Milwaukee newspapers; and of his journal, 1945-1949.