Constructivité de la logique intuitionniste
On étudie la logique intuitionniste.
| Qualité | Numéro | Titre |
|---|
Versions
Rajouter une version
Utilisateur : Timothée
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)