Computational logic and human thinking how to be artificially intelligent - Kowalski, Robert (Cambridge university press, 2011)