: A more modern, affordable reprint was released by Dover Publications in 2003.
: Explores functions, functionals, and recursive programs through the lens of mathematical fixpoints. Google Books Availability and Portable Formats
: Discussion of finite automata, Turing machines, and the fundamental limits of what can be computed.
