Bailhache P. Poszukiwanie procedury inteligentnego dowodzenia twierdzeń. FPhil [Internet]. 1. Januar 1993 [zitiert 20. Mai 2024];(9):133-44. Verfügbar unter: https://czasopisma.uni.lodz.pl/philosophica/article/view/17758