I. Mackie

• Proof Theory and Automated Deduction