Bolzano's logic | lit.salon