The permutability of rules in the classical inferential calculus (1952)

by H B Curry
Venue:Journal of Symbolic Logic