Книги по тегу #формальный вывод

Жемчужины проектирования алгоритмов: функциональный подход с примерами на языке Haskell