The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming

By
Jan van Eijck
Jan van Eijck,
Kees Doets
Kees Doets
2004 • 432 pages

Ratings1

Average rating3

15

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

Tags

Become a Librarian

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!

Top Lists

See all (4)

List

501 books

Own

lynchjames
James Lynch
The Histories
The complete works
The Oresteia: Agamemnon, The Libation Bearers, The Eumenides
Steppenwolf
The Odyssey
Dubliners
The Republic