Introduction

I’ve put together this list in an effort to organize my self-guided study of specific CS topics. It is not meant to be comprehensive in any way, but rather focuses on a select few topics that happen to have caught my interest. I’ve read just a few of the texts listed, but have plans to work through most of them eventually. Feel free to suggest any changes to the list.

LISP/Scheme

• The Little Schemer and sequels
• How to Design Programs (HTDP)
• Structure and Interpretation of Computer Programs (SICP)
• Land of Lisp
• Practical Common Lisp
• On Lisp
• Let Over Lambda
• Paradigm’s of AI Programming

Functional Programming / Haskell

• An Introduction to Functional Programming through Lambda Calculus
• Learn You A Haskell
• The Haskell Road to Logic, Maths, Programming

Math/Logic

• How to Solve It
• To Mock A Mockingbird
• Introduction to Logic
• Godel, Escher, Bach
• Godel’s Proof
• Naive Set Theory