"The Haskell road to logic, maths and programming" - читать интересную книгу автора (Kees Doets; J van Eijck )