Initiation à la logique formelle — Thierry Lucas, Isabelle Berlanger, Isabelle De Greef, Vincent Degauquier