3 books • 1 series
Logics in AI
Computational Semantics with Functional Programming
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)