Recursive Functions of Symbolic Expressions Computation by Machine (1960)www-formal.stanford.edu65 pointsabrax31414 years ago