125747

References

Carlo Celluci

Why proof? what is a proof?

2008

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link