Bailhache, Patrice. „Poszukiwanie Procedury Inteligentnego Dowodzenia Twierdzeń“. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, no. 9 (Januar 1, 1993): 133–144. Zugegriffen Dezember 7, 2025. https://czasopisma.uni.lodz.pl/philosophica/article/view/17758.