Parrochia, D. 1990. Formalizacja boolowska i intuicjonistyczna logiki heglowskiej. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica. 7 (Jan. 1990), 111–123. DOI:https://doi.org/10.18778/0208-6107.07.10.