Recursive Functions of Symbolic Expressions and Their Computation by Machinewww-formal.stanford.edu165 pointspg15 years ago