Libros — proofs

EN
El camino de Haskell hacia la lógica, las matemáticas y la programación

El camino de Haskell hacia la lógica, las matemáticas y la programación

A

Kees Doets, Jan van Eijck

Lenguajes de programación.