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