Développement : LK (LJ) ⇒ NK (NJ)

Détails/Enoncé :

Réf : livre : introduction à la logique

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.