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.