Initiation à la logique formelle, Thierry… · Super Livre