Irving M. Copi Another Variant of Natural Deduction. 52-55 1956 21 J. Symb. Log. 1 db/journals/jsyml/jsyml21.html#Copi56