(TXT) The article (BIN) Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1