Supplemental Reading

• Friedman, Felleisen: The Little Schemer: Fourth Edition (MIT Press, 1996)
  An alternative introduction to recursive and functional programming A
• Friedman, Felleisen: The Seasoned Schemer (MIT Press, 1996)
  ... more on functional and imperative programming using Scheme.
• Douglas Hofstaedter: Godel, Escher, Bach: The Eternal Golden Braid (Vintage Books, 1989)
  A dense-but-readable tapestry of essays and dialogues on computation, logic, and syntactic systems. It using self-reference as a unifying theme in logic, drawing, and music. I recommend the above Metamagical Themas before this book.