Search
Descartes
2010
in: Explanation and proof in mathematics, Dordrecht : Springer
2005
with Ferri Franca
in: Activity and sign, Dordrecht : Springer