A formalization of recursive arithmetic (1941)

by Haskell Curry
Venue:American Journal of Mathematics