Bailhache, Patrice. “Poszukiwanie Procedury Inteligentnego Dowodzenia Twierdzeń”. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, no. 9 (January 1, 1993): 133–144. Accessed May 20, 2024. https://czasopisma.uni.lodz.pl/philosophica/article/view/17758.