Why proof? what is a proof?

2008

Carlo Celluci

in: Deduction, computation, experiment, Berlin,