Développement #196
Titre : Constructivité de la logique intuitionniste
Contenu : On étudie la logique intuitionniste.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 924 | Théories et modèles en logique du premier ordre. Exemples.2021 |