Title: Bolzano's logic
People: Bernard Bolzano