Introduction à la logique 
Subtitle: Théorie de la démonstration, cours et exercices corrigés
Publisher: Dunod
Published: May 2, 2001
Format: Paperback
Number of pages: 334
ISBN-13: 9782100048922