Any suggestions on theory books (not exclusively on a language) that isn't too dense? Not looking for a textbook, but something that is a lighter read that can help me with the logical parts of programming.