Bolzanos Logical System - Casari (Oxford University PressOxford University Press, 2017)