Functional

The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, )

Doets K.,van Eijck J.,Mackie I. (Ed)