Recursive Functions of Symbolic Expressions and Their Computation by Machinewww-formal.stanford.edu·165 pts·pg·4