The Haskell Road To Logic, Maths And Programming (Texts in Computing S.) | lit.salon