1
2
3
Assuntos:
“...Lógica Matemática...”
O resultado de AX e Kochen sobre uma conjectura de Artin
Dissertação
4
5
6
Assuntos:
“...Lógica Matemática...”
A lógica dos feixes sobre quantais right-sided e idempotentes
Tese
7
Assuntos:
“...Lógica Matemática...”
Implementações de tableaux para raciocínio por aproximações
Dissertação
8
9
Assuntos:
“...Lógica Matemática...”
Teoria de modelos de corpos p-ádicos com funções analíticas
Tese
10
11
12
Assuntos:
“...Lógica Matemática...”
Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
Dissertação
13
Assuntos:
“...Lógica Matemática...”
O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting
Tese
14
15
Assuntos:
“...Lógica Matemática...”
Dualidade de stone: uma aplicacao a logica e a algebra
Dissertação
16
Assuntos:
“...Lógica Matemática...”
Homologia O-minimal: aspectos topológicos de estruturas O-minimais
Dissertação
17
Assuntos:
“...Lógica Matemática...”
Sobre a hipótese do contínuo algumas aplicações e equivalências
Dissertação
18
Assuntos:
“...Lógica matemática não-clássica...”
Sobre o metodo dos tableaux em logicas polivalentes finitarias
Tese
19
20
Assuntos:
“...Lógica (Matemática)...”
A demanda por demonstrações de consistência nos fundamentos da matemática
Dissertação