Mrozek, J. „Powstanie I Perspektywy Dowodu Matematycznego”. Filozofia Nauki, t. 8, nr 1, marzec 2000, s. 21-33, https://www.fn.uw.edu.pl/index.php/fn/article/view/241.