Parrochia, D. Formalisations booléene Et Intuitionniste Dé La Logique hégélienne. FPhil 1990, 111-123.