Oefen je uitspraak!

U hoort het volgende, herhaal het en luister naar uw uitspraak.

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