- A. Nabutovsky, “Geometry of the space of triangulations of a compact manifold”, Commun.Math. Phys., 181, № 2, 1996, 303

- GEORGE WEAVER, “Reading proofs with understanding”, Theoria, 54, № 1, 1988, 31

- Newton C. A. da Costa, Federico Holik, “A formal framework for the study of the notion of undefined particle number in quantum mechanics”, Synthese, 192, № 2, 2015, 505

- Uri Leron, “Structuring Mathematical Proofs”, The American Mathematical Monthly, 90, № 3, 1983, 174

- M. Hazewinkel, Encyclopaedia of Mathematics, 1994, 41

- Logic of Mathematics, 1997, 254

- Bharath Sriraman, “The characteristics of mathematical creativity”, ZDM Mathematics Education, 41, № 1-2, 2009, 13

- Graciela Domenech, Federico Holik, “A Discussion on Particle Number and Quantum Indistinguishability”, Found Phys, 37, № 6, 2007, 855

- Richard Cabassut, AnnaMarie Conner, Filyet Aslı İşçimen, Fulvia Furinghetti, Hans Niels Jahnke, Francesca Morselli, 15, Proof and Proving in Mathematics Education, 2012, 169

- Валентин Александрович Бажанов, Irving H. Anellis, “Image of Soviet and Russian logic in the West. Latter Half of the XXth Century”, LI, 27, № 2, 2021, 133
