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
La méthode des validations en Logique Propositionnelle Modale 1
La méthode des validations en Logique Propositionnelle Modale 1
T037_Simao Mathias_1
T037_Simao Mathias_1
T037_Simao Mathias_1
T037_Simao Mathias_1
Vídeos
Vídeos
Alfred Tarski - Parte 1
Walter e Bertha
Homenagem
Ciência e Arte 1
