Développement #779
Titre : LK (LJ) ⇒ NK (NJ)
Contenu : Réf : livre : introduction à la logique
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 918 | Systèmes formels de preuve en logique du premier ordre. Exemples.2021 |
Titre : LK (LJ) ⇒ NK (NJ)
Contenu : Réf : livre : introduction à la logique
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 918 | Systèmes formels de preuve en logique du premier ordre. Exemples.2021 |