Curry, Haskell B.
On the definition of substitution, replacement and allied notions in a abstract formal system / Haskell B. Curry
Substitución
On the definition of substitution, replacement and allied notions in a abstract formal system / Haskell B. Curry
Substitución