Text this: Bolzano's logical system /