Bondecka-Krzykowska, I. (1999). Dowody komputerowe a status epistemologiczny twierdzeń matematyki. Filozofia Nauki, 7(3-4), 103–116. Pobrano z https://fn.uw.edu.pl/index.php/fn/article/view/234