Repository | Directory | Profile
References
Silvia De Toffoli
(2010-2019)
XAn inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer
Repository | Directory | Profile
(2010-2019)
XAn inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer