Silvia De Toffoli
An inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer
An inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer