The Haskell Road to Logic is a pretty good. I took a class on discrete mathematics only with formulas. I didn't understand any of it. Then I read this book an

The Haskell Road to Logic is a pretty good. I took a class on discrete mathematics only with formulas. I didn't understand any of it. Then I read this book and all of it made sense. "What I cannot program, I cannot understand.." (with my apologies to Feynman)