Izabela Bondecka-Krzykowska, Dowody komputerowe a status epistemologiczny twierdzeń matematyki , Filozofia Nauki, 1999, 7, 3/4, s. 103-116