C. Imbert, «Histoire et formalisation de la Logique», Anuario Filosófico, vol. 16, n.º 1, pp. 43-87, abr. 1983.