A coleção traz registros de sua trajetória como engenheiro e professor da Escola Politécnica do Rio de Janeiro, incluindo currículos, recortes de jornais e textos manuscritos e impressos sobre cartografia e astronomia.

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

O Fundo AIA fornece subsídios para a pesquisa em sistemas não-clássicos de lógicas paraconsistentes, lógicas relevantes, teoria de conjuntos e ideias de Vasil´ev

Documentação produzida ou recebida pelo CLE.

A Coleção CL traz documentos avulsos sobre sua trajetória acadêmica, mas rico às pesquisas sobre a história da física e construção do Observatório de Física Cósmica no Monte Chacaltaya, em La Paz, na Bolívia.

O Fundo COSUPI conta com grande quantidade de documentos, referente a diversas universidades do Brasil material de pesquisa bastante completo e que fornece os elementos necessários para a preservação da memória do desenvolvimento científico brasileiro. As Séries constituídas são Convênios, Correspondências, Documentos Contábeis, Iconografia, Legislação, Miscelânea, Planejamento e Produção Intelectual de Terceiros e os Dossiês Casa do Brasil na Cidade Universitária de Madrid, Coordenação do Aperfeiçoamento de Pessoal de Nível Superior, Grupo de Reequipamento Técnico-Científico das Universidades do Nordeste, Grupo de Trabalho de Educação do Nordeste e Grupo Executivo para Aplicação de Computadores Eletrônicos.

Documentos pessoais, correspondência e produção científica manuscrita e impressa. Há documentos esparsos alheios ao próprio arquivo formado pelo titular.

Documentos pessoais, correspondência, produção científica manuscrita e impressa, produção lírica e fotografias.

Documentos pessoais, correspondência, produção científica manuscrita e impressa

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.