The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Status
Rate
Check Later
Product Links
Authors
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Reviews (0) see more
Seems like you haven't provided a review
Don't miss the opportunity to share your thoughts!