Poćwicz swoją wymowę!

Usłyszysz następujące słowa, powtórz je i posłuchaj swojej wymowy.

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