Jan Hamhalter, “Additivity of vector gleason measures”, Int J Theor Phys, 31, № 1, 1992, 3
Aiso Heinze, Kristina Reiss, “The teaching of proof at the lower secondary level—a video study”, Zentralblatt für Didaktik der Mathematik, 36, № 3, 2004, 98
M. Hazewinkel, Encyclopaedia of Mathematics, 1990, 67
Kumaraswamy Velupillai, “The Computable Alternative in the Formalization of Economics: A Counterfactual Essay”, Kyklos, 49, № 3, 1996, 251
M. Hazewinkel, Encyclopaedia of Mathematics, 1993, 123
Keith Weber, Juan Pablo Mejia-ramos, “Mathematics majors’ beliefs about proof reading”, International Journal of Mathematical Education in Science and Technology, 45, № 1, 2014, 89
K. J. Horadam, “The word problem and related results for graph product groups”, Proc. Amer. Math. Soc., 82, № 2, 1981, 157
Massimo Marchiori, 1338, SOFSEM'97: Theory and Practice of Informatics, 1997, 497
M. B. Abbott, H.J. de Nordwall, B. Swets, “On applications of artificial intelligence to the control and safety problems of nuclear power plants”, Civil Engineering Systems, 1, № 2, 1983, 69
Luis Moreno-Armella, Bharath Sriraman, “The articulation of symbol and mediation in mathematics education”, Zentralblatt für Didaktik der Mathematik, 37, № 6, 2005, 476