Salut...
petite question......
Quelle sont les axiomes du systéme INTUITIONNISTE pour le calcul propositionnel?