Logical and Computational Aspects of Model-Based Reasoning by Lorenzo Magnani