Computational logic and human thinking: how to be artificially intelligent by Robert Kowalski | Menrva Books | MenrvaBooks