Développement : Constructivité de la logique intuitionniste

Détails/Enoncé :

On étudie la logique intuitionniste.

Recasages pour l'année 2023 :

  • Pas de recasages pour cette année.