1
Assuntos:
“...Lógica simbólica e matemática...”
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
Dissertação
2
Assuntos:
“...Lógica simbólica e matemática...”
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Tese
3
Assuntos:
“...Lógica simbólica e matemática...”
Sobre o calculo diferencial paraconsistente de da Costa
Tese