The Haskell road to logic, maths and programming

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

From inside the book

What people are saying - Write a review

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

User Review  - Joost - Goodreads

Didn't finish yet. Need to pick it up again at a later point in time. Read full 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

Contents

Getting Started
1
Talking about Mathematical Objects
27
Proof
71
Copyright

9 other sections not shown

Common terms and phrases

Bibliographic information