The * in regular expressions is from that book by Kleene; it used to be called the Kleene star. And the book is all building up the apparatus of functional programs, recursion, implementations of arithmetic and logic, etc. it is a great book for programmers. But it is for basic computability theory, the Gödel incompleteness theorem, results on regular languages and so on.