Ознакомительный фрагмент. Получить полный доступ
The Haskell Road to Logic, Math and Programming