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