Bailhache P. Poszukiwanie procedury inteligentnego dowodzenia twierdzeń. FPhil [Internet]. 1993 Jan. 1 [cited 2024 Nov. 3];(9):133-44. Available from: https://czasopisma.uni.lodz.pl/philosophica/article/view/17758