3 Iannone,Paola. Nardi,E. 2008 The interplay between syntactic and semantic knowledge in proof production: Mathematicians’ perspectives Proceedings of the 5th Conference on European Research in Mathematics Education, Larnaca, Cyprus 14 2300-2309 2008 http://ermeweb.free.fr/CERME5