Invia SMS: Computational logic and human thinking how to be artificially intelligent / Robert Kowalski. [electronic resource] :