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