Jarosław Mrozek, Powstanie i perspektywy rozwoju dowodu matematycznego , Filozofia Nauki, 2000, 8, 1, s. 21-33