Shop The Haskell Road To Logic Maths And Programming 2004