Mostrando 23 resultados

Descrição arquivística
Antônio Mário Sette
BR SPCLEARQ AMS · Coleção · 1963-1997

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

Antônio Mário Sette
Ayda Ignez Arruda
BR SPCLEARQ AIA · Fundo · 1932 - 25 jan. 2006

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

Ayda Ignez Arruda
Allyrio Hugueney de Mattos
BR SPCLEARQ AHM · 1926-1989

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.

Allyrio Hugueney de Mattos