Bücher — proofs

EN
Der Haskell-Weg zu Logik, Mathematik und Programmierung

Der Haskell-Weg zu Logik, Mathematik und Programmierung

A

Kees Doets, Jan van Eijck

Programmiersprachen