Bondecka-Krzykowska, I. „Dowody Komputerowe a Status Epistemologiczny Twierdzeń Matematyki”. Filozofia Nauki, t. 7, nr 3-4, wrzesień 1999, s. 103-16, https://www.fn.uw.edu.pl/index.php/fn/article/view/234.