Développement : LK (LJ) ⇒ NK (NJ) [no pdf]

Détails/Enoncé :

Réf : livre : introduction à la logique

Recasages pour l'année 2019 :

Autres années :

Versions :

Pas de version pour ce développement.