You actually can get pretty far, Huffman coding for example.
If throwing a tome is your style, I suggest going through http://www.cis.upenn.edu/~bcpierce/tapl/ or http://www.decision-procedures.org/ -- you can go through entire books without calculus.