Bailhache, P. 1993. Poszukiwanie procedury inteligentnego dowodzenia twierdzeń. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica. 9 (Jan. 1993), 133–144. DOI:https://doi.org/10.18778/0208-6107.09.14.