A CLN traz documentos esparsos, mas rico às pesquisas em História das Ciências e da Matemática, como, por exemplo, a cópia do manuscrito, de sua autoria, intitulado An Outline of Probability, de 1985 e o seu depoimento quando do recebimento do título de Professor Emérito, concedido pela Unicamp, em 1989.

A Coleção AMS traz estudos sobre cálculos proposicionais e lógicas não-clássicas.

Documentos esparsos, mas que permitem ao pesquisador ter contato com os estudos do titular do arquivo sobre o raio laser.