Bailhache, P. “Poszukiwanie Procedury Inteligentnego Dowodzenia Twierdzeń”. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, no. 9, Jan. 1993, pp. 133-44, doi:10.18778/0208-6107.09.14.