123199

References

Silvia De Toffoli

An inquiry into the practice of proving in low-dimensional topology

2015

with Giardino Valeria

in: From logic to practice, Dordrecht : Springer

Open Access Link