Recursive Functions of Symbolic Expressions and Their Computation (1960)www-formal.stanford.edu61 pointsDennisCooper10 years ago