Edward Haeusler

• Advances in Natural Deduction