Livros — proofs

EN
O caminho de Haskell para a lógica, matemática e programação

O caminho de Haskell para a lógica, matemática e programação

A

Kees Doets, Jan van Eijck

Linguagens de programação