NATURAL DEDUCTION , A PROOF - THEORETHICAL STUDY by DAG PRAWITZ , 1965