D. Parrochia, „Formalisations booléene et intuitionniste dé la logique hégélienne”, FPhil, nr 7, s. 111–123, sty. 1990.