From Logic to Practice - Lolli, Gabriele; Panza, Marco; Venturi, Giorgio (Springer International Publishing, 2015)