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

by Haskell Curry
Venue:Journal of Symbolic Logic