
Maria Alessandra Mariotti
Proofs, semiotics and artefacts of information technologies
2010
in: Explanation and proof in mathematics, Dordrecht : Springer

Proofs, semiotics and artefacts of information technologies
2010
in: Explanation and proof in mathematics, Dordrecht : Springer