Imbert, C. Histoire Et Formalisation De La Logique. Anuario Filosófico 1983, 16, 43-87.