The Haskell road to logic, maths and programming - Doets, Kees; Eijck, Jan van 1951- (College Publ., 2012)
Keywords: Functionele programmering; Haskell (programmeertaal); Logica; Wiskunde; Logik; Mathematik; Logic programming; Logic, Symbolic and mathematical; HASKELL