1
Assuntos:
“...Lógica simbólica e matemática...”
Lógicas abstratas e o primeiro teorema de Lindström
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...”
Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Tese