1999 Revue d’histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano’s criticism of indirect proofs. Auteur : Hafner Johannes