1999 Revue d’histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano. Auteur : Sinaceur Hourya. Dir.
1999 Revue d’histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano’s criticism of indirect proofs. Auteur : Hafner Johannes
