Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

The Haskell Road to Logic, Maths and Programming

Authors: Kees Doets and Jan van Eijck
From the cover:
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell.

Texts in Computing Vol.4
King's College Publications, 2004
x+426 pp

For more information, see http://homepages.cwi.nl/~jve/HR/

Please note that this newsitem has been archived, and may contain outdated information or links.