Welcome to E-Books Directory
This is a freely downloadable e-book.

The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming
by Kees Doets, Jan van Eijck

Publisher: College Publications 2004
ISBN/ASIN: 0954300696
Number of pages: 449

Description:
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

Home page url

 Download or read it online here:

Download link

 (1.4MB, PDF)