Natural Deduction by Dag Prawitz