1Tall,D.&Vinner,S.Concept image and concept definition in mathematics with particular reference to limits and continuity[J].Educational Studies in Mathematics,1981,12(2):151-169.
2Selden,J.,&Selden,A.Unpacking the logic of mathematical statement[J].Educational Studies in Mathematics,1995,29:123-151.
3Weber,K.,&Alcock,L.Semantic and syntactic proof productions[J].Educational Studies in Mathematics,2004,56:209-234.
5Gueudet,G.Investigating the secondary-tertiary transition[J].Educational Studies in Mathematics,2008,67:237-254.
6Dubinsky,Ed.Meaning and formalism in mathematics[J].International Journal of Computers for Mathematical Learning,2000,5:211-240.
7Davis,R.B.,&Maher,C.A.How students think:the roles of representations[M].In L.D.English (Ed.),Mathematical reasoning:Analogies,Metaphors and images.Mahwah,NJ:Erlbarum,1997.
8MacLane,S.Mathematical models:A sketch for the philosophy of mathematics[J].American Mathematical monthly,1981:462-472.
9Breidenbach,D.,Dubinsky,E.,Hawks,J.,&Nichols,D.Development of the process conception of function[J].Educational Studies in Mathematics,1992,23:247-285.
10Dubinsky,E.,&McDonald,M.A.APOS:A constructivist theory of learning in undergraduate mathematics education research[J].In Derek Holton et al.(eds.),The Teaching and Learning of Mathematics at University Level:An ICMI Study,Kluwer,Netherlands,2005:273-280.
