Massimo Mugnai

• Leibniz
• Syllogistic Logic and Mathematical Proof