Dag Prawitz Natural Deduction (Tascabile) Dover Books on Mathema 1.4tics