Développement : Constructivité de la logique intuitionniste

Détails/Enoncé :

On étudie la logique intuitionniste.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Références utilisées dans les versions de ce développement :

Introduction à la logique, René David, Karim Nour, Christophe Raffalli (DNR) (utilisée dans 16 versions au total)