* Arzarello F. (2000). Inside and Outside: Spaces, Times and Language in Proof Production. Proceedings of PMEXXIV, Hiroshima, Japan, 1, 23-38. | * Arzarello F. (2000). Inside and Outside: Spaces, Times and Language in Proof Production. Proceedings of PMEXXIV, Hiroshima, Japan, 1, 23-38. |