Introduction à la logique - Théorie de la démonstration - Livre Mathématiques de René David - Dunod