Bernard Bolzano - historik logiky - Berka, Karel