Geodesic
A Proof under a Microscope
Matematičeskoe obrazovanie, no. 3 (2003), pp. 44-58 
I. L. Timofeeva. A Proof under a Microscope. Matematičeskoe obrazovanie, no. 3 (2003), pp. 44-58. http://geodesic.mathdoc.fr/item/MO_2003_3_a3/
@article{MO_2003_3_a3,
     author = {I. L. Timofeeva},
     title = {A {Proof} under a {Microscope}},
     journal = {Matemati\v{c}eskoe obrazovanie},
     pages = {44--58},
     year = {2003},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2003_3_a3/}
}
TY  - JOUR
AU  - I. L. Timofeeva
TI  - A Proof under a Microscope
JO  - Matematičeskoe obrazovanie
PY  - 2003
SP  - 44
EP  - 58
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/MO_2003_3_a3/
LA  - ru
ID  - MO_2003_3_a3
ER  - 
%0 Journal Article
%A I. L. Timofeeva
%T A Proof under a Microscope
%J Matematičeskoe obrazovanie
%D 2003
%P 44-58
%N 3
%U http://geodesic.mathdoc.fr/item/MO_2003_3_a3/
%G ru
%F MO_2003_3_a3

Voir la notice de l'article provenant de la source Math-Net.Ru

What is mathematical proof and its logical structure? This question is discussed in the paper. The author proposes a tree structure of a proof and shows some advantages compared to a linear structure.