Philosophie de la logique conséquence, preuve et vérité (Vrin, 2009)