The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming

2004 • 432 pages

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

Become a Librarian

Tags


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 (1)

List

502 books

Own

Herodotus
The complete works
The Oresteia: Agamemnon, The Libation Bearers, The Eumenides
Steppenwolf
The Odyssey
Dubliners
The Republic