Book in logic The Haskell road to logic, math and programming (2004) (fldit-cs.uni-dortmund.de) ★ - 0 ratings