I've been coding for quite a few years, but it was Godel's Proof that got me into the theoretical parts of computer science (even though it's a logic book). Str

I've been coding for quite a few years, but it was Godel's Proof that got me into the theoretical parts of computer science (even though it's a logic book). Strongly recommended. Godel, Escher, and Bach is the usual book to read after Godel's Proof. Universal Principles of Design - great when you need some UI inspiration.