Valeria Giardino
(2010-2019)
XDiagrammatic reasoning in mathematics
2017
in: Springer handbook of model-based science, Dordrecht : Springer
An inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer
2012
Philosophia Scientiae 16/1
