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