Úvahy z logiky v Bolzanově rukopisné pozůstalosti Karel Rychlík (1958) Časopis pro pěstování matematiky