The Haskell road to logic, maths and programming by Van Eijck, Jan, Doets, Kees fromTexts in computing 0 Type: Book
