storiet v.2

theme

voice

language

sign in
Capa de The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

a novel ·

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

por

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

start reading + shelf
  • ● 85% match for you
  • ● science & technology

the long version

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

M

Margaret's verdict

"A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure."

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.