The Haskell Road To Logic, Maths And Programming (Texts in Computing S.) May 2004 Logic; Mathematics; Science/Mathematics ISBN 0954300696 View on Amazon Lists featuring this book (1)
