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