1
2
Assuntos:
“...Lógica simbólica e matemática...”
Uma abordagem modelo-teórica da computabilidade de Turing clássica
Tese
3
4
Assuntos:
“...Lógica simbólica e matemática...”
Noções de localidade de lógicas baseadas em categorias modelo de Quillen sobre estruturas finitas : Quillen model categories-based notions of locality of logics over finite structu...
Tese