BR SPCLEARQ MS
·
Coleção
BR SPCLEARQ NCAC
·
Fundo
BR SPCLEARQ MMD
·
Fundo
·
1956 - 2004
BR SPCLEARQ MBW
·
Fundo
·
1968 - 2003
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
Sans titre
BR SPCLEARQ NFM
·
Fundo
·
1918 - 2003
BR SPCLEARQ AMS
·
Coleção
·
1963-1997
A Coleção AMS traz estudos sobre cálculos proposicionais e lógicas não-clássicas.
Sans titre
BR SPCLEARQ LMB
·
Coleção
·
1925 - 2006
BR SPCLEARQ HRR
·
Coleção
·
1943 - 1990
BR SPCLEARQ CLE
·
Fundo
·
1977 - 2018