Introduction à la logique - 2e éd. - Théorie de la démonstration