[Om-announce] Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED

[Jon Sneyers]

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.