Proofs, semiotics and artefacts of information technologies

2010

Maria A. Mariotti

in: Explanation and proof in mathematics, Berlin,