Mrozek, J. (2000). Powstanie i perspektywy dowodu matematycznego. Filozofia Nauki, 8(1), 21–33. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/241