"The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4)" - читать интересную книгу автора (Doets K., van Eijck J., Mackie I. (Ed))