Kees Doets

The Haskell Road to Logic, Maths and Programming

Kees Doets & Jan van Eijck & Jan Eń≥ck

The Haskell Road to Logic, Math and Programming

Kees Doets & Jan van Eijck