Repository | Directory | Profile
Why proof? what is a proof?
2008
Carlo Celluci
in: Deduction, computation, experiment, Dordrecht : Springer
