"The Haskell Road to Logic, Maths and Programming (Texts in Computing)" - читать интересную книгу автора (Kees Doets, van Jan Eijck)