Shop The Haskell Road To Logic, Maths And Programming 2004