Computational logic and human thinking hardcover