Welcome to E-Books Directory
This is a freely downloadable e-book.
The Haskell Road to Logic, Maths and Programming
Read this book online or download it here for free
Custom Search
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.