IMBERT, C. Histoire et formalisation de la Logique. Anuario Filosófico, v. 16, n. 1, p. 43-87, 1 abr. 1983.