![](/images/icons-large/icon-archival.png)
Showing 19 results
Archival descriptionCarta de Alexandre A. Martins Rodrigues para AIA
Carta de Alexandre A. Martins Rodrigues para AIA
Carta de M. Dickmann para AIA
Carta de M. Dickmann para AIA
La mathématique classiques dans Nfw
La mathématique classiques dans Nfw
Le schéma de la séparation dans les systèmes NFn
Le schéma de la séparation dans les systèmes NFn
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
Sur certains algèbres de classes non classiques
Sur certains algèbres de classes non classiques
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Remarques sur le système NF1
Remarques sur le système NF1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence