1. Aristotle's posterior analytics;Barnes,1975
2. Sourcebook in classical analysis;Birkhoff,1973
3. Beyträge zu einer begründeteren Darstellung der Mathematik;Bolzano,1810
4. Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege;Bolzano,1817