Ćwicz wymowę!

Usłyszysz poniższy tekst, powtórz go i posłuchaj swojej wymowy.

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