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