Antônio Mário Sette Aggiungi all'area di lavoro 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