TY - JOUR AU - De Toffoli, Silvia IS - 2 JA - Synthese PB - Springer Verlag PY - 2022 TI - What are mathematical diagrams? VL - 200 ER -