3 books • 2 series
The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)
The Haskell Road to Logic, Maths and Programming. Second Edition
From Logic to Logic Programming (Foundations of Computing)