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