Symbolic Computing
"Symbolic Computing" covers various fundamentals of computing science in terms of purely symbolic LISP. Topics include, for example, functions, recursion, sorting, backtracking, parsing, arbitrary precision arithmetics, formal semantics, and scoping strategies. Pure LISP is an elegant, flexible, and powerful mathematical system and programming language. It shares a lot of properties with modern dialects of LISP such as Common Lisp and Scheme.