Logique

The main page for the logic course this year is hosted by Gilles Dowek. This page contains some teaching material from David Baelde. You may also find some documents on Emilie Grienenberger's page.