Showing 23 results

Archival description
Ayda Ignez Arruda
BR SPCLEARQ AIA · Fonds · 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

Untitled
Untitled
BR SPCLEARQ MBW · Fundo · 1968 - 2003
Untitled
BR SPCLEARQ NCAC · Fundo
Untitled
BR SPCLEARQ MMD · Fundo · 1956 - 2004
Untitled
BR SPCLEARQ MS · Coleção
Untitled
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.

Untitled
Untitled
BR SPCLEARQ LMB · Coleção · 1925 - 2006
Untitled
BR SPCLEARQ HRR · Coleção · 1943 - 1990
Untitled
BR SPCLEARQ CLE · Fundo · 1977 - 2018
Untitled
BR SPCLEARQ NFM · Fundo · 1918 - 2003
Untitled