The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)2004
by Jan van Eijck
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
— from OpenLibrary
1 edition at OpenLibrary