122040

References

Valeria Giardino

(2010-2019)

X
Diagrammatic reasoning in mathematics

2017

in: Springer handbook of model-based science, Dordrecht : Springer

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

2015

with De Toffoli Silvia

in: From logic to practice, Dordrecht : Springer

Open Access Link

Philosophia Scientiae 16/1

From practice to results in logic and mathematics

2012

Open Access Link