Computational Logic And Human Thinking by Robert Kowalski