Natural deduction - Anderson, J.M. (1962)