Joseph Dopp

• Notions de logique formelle
• Félix Ravaisson
• Formal logic
• Formal logic
• Lecons de logique formelle
• Logiques construites par une méthode de déduction naturelle