Книги — proofs

EN
Путь Haskell к логике, математике и программированию

Путь Haskell к логике, математике и программированию

A

Kees Doets, Jan van Eijck

Языки программирования