LK (LJ) ⇒ NK (NJ)
Réf : livre : introduction à la logique
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 918 | Systèmes formels de preuve en logique du premier ordre. Exemples.2021 |
Utilisateur : Admin
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)