français

Entraînez-vous à prononcer!

Vous entendrez ce qui suit, répétez-le et écoutez votre prononciation.

Une sémantique possible de la logique intuitionniste se fait dans les modèles de Kripke.