Recursive Functions of Symbolic Expressions and Their Computation (1960) w www-formal.stanford.edu 61 DennisCooper 10 years ago 6 comments