Introduction à la logique par Philipp Keller