Bolzano's logic