New Book Robert Kowalski LOGIC FOR PROBLEM SOLVING, REVISITED
ISBN 9783837036299 Also available as E-Book http://books.google.de/books?id=6vh1BQAAQBAJ&hl=en Algorithm = Logic + Control Robert Kowalski revisits his classic text on Computational Logic in the light of subsequent developments, extending it by a substantial commentary of fifty pages. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell