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