Some properties of equality and implication in combinatory logic (1934)

by Haskell Brooks Curry
Venue:Annals of Mathematics