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