1
Assuntos:
“...Lógica simbólica e matemática...”
A lógica de Brouwer e o príncipio ex falso quodlibet
Dissertação
2
3
Assuntos:
“...Lógica simbólica e matemática...”
Aspectos computacionais do cálculo de estruturas
Dissertação
4
Assuntos:
“...Logica simbolica e matematica...”
Um estudo de algoritmos para extração de regras baseados em análise formal de conceitos
Dissertação
5
Assuntos:
“...Lógica simbólica e matemática Estudo e ensino...”
Introdução ao pensamento algébrico: a generalização de padrões
Dissertação