Rules and Reasoning - Benzmüller, Christoph (Springer International Publishing, 2020)