@Article{446691, author = "Izabela Bondecka-Krzykowska", title = "Dowody komputerowe a status epistemologiczny twierdzeń matematyki ", year = 1999, volume = 7, number = 3/4, journal = Filozofia Nauki, pages = s. 103-116, }