Uso de veículos na educação foi racionalizado
Roda viva
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Paulus Aulus Pompeia
Zeferino Vaz
Sergio Porto
Amaral desmente candidatura em 1978 8
Amaral desmente candidatura em 1978 10
Amaral desmente candidatura em 1978 16
Amaral desmente candidatura em 1978 17
Amaral desmente candidatura em 1978 20
Amaral desmente candidatura em 1978 21
Amaral desmente candidatura em 1978 22
Amaral desmente candidatura em 1978
Bodas de Ouro
Ciência e Arte 5
Ciência e Arte 8
Ciência e Arte 9
Curriculum Vitae
Quatro faces de um grande desafio
video 01
image 01
Logique Mathématique 1
Apostila de exercícios Lógica II 1
Alfred Tarski - Parte 1
Walter e Bertha
Homenagem
Ciência e Arte 1
Ciência e Arte 3