Title: Système de logique déductive et inductive
Subjects: Logic