Imbert, C. (1983). Histoire et formalisation de la Logique. Anuario Filosófico, 16(1), 43-87. https://doi.org/10.15581/009.16.30194