Click intro_logique.html link to view the file.