This document is unfortunately not available for download at the moment.
Dennis Dieks , Stephan Hartmann , Thomas Uebel , Marcel Weber , Maria Carla Galavotti (2014) New directions in the philosophy of science, Dordrecht, Springer.
The proof is in the process
a preamble for a philosophy of computer-assisted mathematics
Liesbeth De Mol
pp. 15-33
Not implemented yet !