Computational Logic and Human Thinking (2011)