Henryk Hiz Inferential Equivalence and Natural Deduction. 237-240 1957 22 J. Symb. Log. 3 db/journals/jsyml/jsyml22.html#Hiz57