The Haskell Road to Logic, Maths and Programming
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Tags
Genre
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
Related Books
Books
9 booksReaders of This Book Also Enjoyed
If you enjoyed this book, then our algorithm says you may also enjoy these.
