Normal view
MARC view
- Substitución
Substitución (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)532408: Curry, Haskell B. 137925, On the definition of substitution, replacement and allied notions in a abstract formal system