The Haskell road to logic, maths and programming

Front Cover
King's College Publications, 2004 - Computers - 426 pages
2 Reviews

From inside the book

What people are saying - Write a review

Review: The Haskell Road to Logic, Maths and Programming. Second Edition

User Review  - Jon Gauthier - Goodreads

Without a doubt, the math contents of this book were over my head. I originally picked The Haskell Road more for its relation to functional programming than to anything else. For this reason, the ... Read full review

Review: The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4)

User Review  - Maiz Lulkin - Goodreads

The most hard core programming language ever - Haskell - presented in a really different and thought provoking way. For those interested in this topics - functional languages, logics and mathematical foundations - i think it's must have. Read full review

Contents

Getting Started
1
Talking about Mathematical Objects
27
Proof
71
Copyright

9 other sections not shown

Common terms and phrases

Bibliographic information