The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
1.8 hrs read
Rate this book:
About This Book
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
