Projeto Memória Científica Nacional Adicionar a área de transferência BR SPCLEARQ PMC Coleção 1987 - 1993 Centro de Lógica, Epistemologia e História da Ciência
Antônio Mário Sette Adicionar a área de transferência 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