Carta de François Auzel a JCVM
- BR SPCLEARQ CJCVM-C-Cp-IT49
- Item
- 1982-08-10
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
7 resultados com objetos digitais Exibir resultados com objetos digitais
Carta de François Auzel a JCVM
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Sur les systèmes Nfi de da Costa
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de José Carlos Valladão de Mattos
José Carlos Valladão de Mattos
Sur un Théorème de Hilbert et Bernays
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logique sans igalité et (k,p)-quasivalence
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Newton Carneiro Affonso da Costa
Parte de Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Parte de Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Depoimento de José Leite Lopes, 1977
Parte de Projeto Memória Científica Nacional
Sem título