Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I)www-formal.stanford.edu2 pointsantiform18 years ago