Antônio Mário Sette Add to clipboard 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