Bolzano's criticism of indirect proofs - Hafner, Johannes (Revue d'histoire des sciences, 1999)