The Haskell road to logic, maths and programming /
Doets, Kees.
Eijck, J. van(Jan)
London : King's College,
c2004.
Includes bibliographical references and index.
Haskell (Computer program language)