Designing the Logic to Approximate Human Thinking - Niklas Hageback (Taylor and Francis, 2017)