Computational Logic And Human Thinking door Robert Kowalski