1999 Revue d’histoire des sciences. Vol. 52. N° 3-4. p. 479-506. Forme, variation et déductibilité dans la logique de Bolzano. Auteur : Sebestik Jan