Computational Logic Human Thinking by Robert Kowalski