"The Haskell Road to Logic, Maths and Programming" ist ein Lehrbuch, das sich auf die Vermittlung von Grundlagen der Logik, Mathematik und Programmierung konzentriert, wobei die Programmiersprache Haskell als primäres Werkzeug verwendet...