Développement : Constructivité de la logique intuitionniste

Détails/Enoncé :

On étudie la logique intuitionniste.

Recasages pour l'année 2019 :

Versions :