140930

References

Maria Alessandra Mariotti

Proofs, semiotics and artefacts of information technologies

2010

in: Explanation and proof in mathematics, Dordrecht : Springer

Open Access Link