This document is unfortunately not available for download at the moment.
Rossella Lupacchini , Giovanna Corsi (2008) Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer.
Phenomenology of incompleteness
from formal deductions to mathematics and physics
Francis Bailly , Giuseppe Longo
pp. 243-271
Not implemented yet !