The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
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.
Details
- OL Work ID
- OL15015055W
Subjects
functional programminghaskellmathematicslogicmathematical reasoningmathematical proofsLogic programmingLogicaSymbolic and mathematical LogicHaskell (programmeertaal)WiskundeFunctionele programmering