Books — proofs

EN
The Haskell Road to Logic, Math and Programming

The Haskell Road to Logic, Math and Programming

A

Kees Doets, Jan van Eijck

Programming languages