Carta de Alexandre A. Martins Rodrigues para AIA
- BR SPCLEARQ FAIA-C-Cp-IT242
- Item
- 1983-04-25
Part of Ayda Ignez Arruda
Untitled
Carta de Alexandre A. Martins Rodrigues para AIA
Part of Ayda Ignez Arruda
Untitled
Sur certains hiérarchies de calculs de prédicats
Part of Ayda Ignez Arruda
Untitled
Sur certaines hiérarchies de calculs propositionnels
Part of Ayda Ignez Arruda
Untitled
Calculs de descriptions pour les systèmes formels inconsistants
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Le schéma de la séparation dans les systèmes NFn
Part of Ayda Ignez Arruda
Untitled
Remarques sur les systèmes Cn. C.R. Acad. Sc
Part of Ayda Ignez Arruda
Untitled
Sur certaines hiérarchies de calculs propositionnels
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Sur les systèmes Nfi de da Costa
Part of Ayda Ignez Arruda
Untitled
Sur un Théorème de Hilbert et Bernays
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1=. C.R
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Sur certains algèbres de classes non classiques
Part of Ayda Ignez Arruda
Untitled
Sur une hiérarchies de systèmes formels
Part of Ayda Ignez Arruda
Untitled
Logique sans igalité et (k,p)-quasivalence
Part of Ayda Ignez Arruda
Untitled
La mathématique classiques dans Nfw
Part of Ayda Ignez Arruda
Untitled
Sur certaines hiérarchies de calculs propositionnels
Part of Ayda Ignez Arruda
Untitled