Parrochia, D. Formalizacja Boolowska I Intuicjonistyczna Logiki Heglowskiej. FPhil 1990, 111-123.