Bolzano's Logical System