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

2015

Silvia De Toffoli, Valeria Giardino

in: From logic to practice, Berlin,