Geodesic
A Proof under a Microscope
Matematičeskoe obrazovanie, Tome 26 (2003) no. 3, pp. 44-58.

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. 
@article{MO_2003_26_3_a3,
     author = {I. L. Timofeeva},
     title = {A {Proof} under a {Microscope}},
     journal = {Matemati\v{c}eskoe obrazovanie},
     pages = {44--58},
     publisher = {mathdoc},
     volume = {26},
     number = {3},
     year = {2003},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2003_26_3_a3/}
}
TY  - JOUR
AU  - I. L. Timofeeva
TI  - A Proof under a Microscope
JO  - Matematičeskoe obrazovanie
PY  - 2003
SP  - 44
EP  - 58
VL  - 26
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MO_2003_26_3_a3/
LA  - ru
ID  - MO_2003_26_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
%V 26
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MO_2003_26_3_a3/
%G ru
%F MO_2003_26_3_a3
I. L. Timofeeva. A Proof under a Microscope. Matematičeskoe obrazovanie, Tome 26 (2003) no. 3, pp. 44-58. http://geodesic.mathdoc.fr/item/MO_2003_26_3_a3/