Bondecka-Krzykowska, I. (1999) „Dowody komputerowe a status epistemologiczny twierdzeń matematyki”, Filozofia Nauki, 7(3-4), s. 103–116. Dostępne na: https://www.fn.uw.edu.pl/index.php/fn/article/view/234 (Udostępniono: 19 maj 2024).