Logique formelle — Sébastien Richard, Marc Peeters