Natural deduction : the logical basis of axiom systems - Anderson, John M. (Belmont, California Wadsworth, 1963)