Natural and Artificial Reasoning - Addis (Springer International Publishing, 2014)