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