Option d'introduction à la logique, ouverte aux étudiants de linguistique.