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