The Haskell Road to Logic, Maths and Programming

Kees Doets

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell.

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB