Initiation à la logique formelle avex exercises corrigés - Lucas, Thierry 1943-; Berlanger, Isabelle; De Greef, Isabelle (De Boeck, 2003)