Title: The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Description: A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Subjects: functional programming, haskell, mathematics, logic, mathematical reasoning, mathematical proofs, Logic programming, Logica, Symbolic and mathematical Logic, Haskell (programmeertaal), Wiskunde, Functionele programmering