The Haskell Road to Logic, Maths and Programming. Second Editionby Doets, Kees; Eijck, Van JanPages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less