Geodesic
Presentation of Natural Deduction
Zbornik radova, Tome 2 (1977) no. 10, p. 115 
R. P. Nederpelt. Presentation of Natural Deduction. Zbornik radova, Tome 2 (1977) no. 10, p. 115 . http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a8/
@article{ZR_1977_2_10_a8,
     author = {R. P. Nederpelt},
     title = {Presentation of {Natural} {Deduction}},
     journal = {Zbornik radova},
     pages = {115 },
     year = {1977},
     volume = {2},
     number = {10},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a8/}
}
TY  - JOUR
AU  - R. P. Nederpelt
TI  - Presentation of Natural Deduction
JO  - Zbornik radova
PY  - 1977
SP  - 115 
VL  - 2
IS  - 10
UR  - http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a8/
LA  - en
ID  - ZR_1977_2_10_a8
ER  - 
%0 Journal Article
%A R. P. Nederpelt
%T Presentation of Natural Deduction
%J Zbornik radova
%D 1977
%P 115 
%V 2
%N 10
%U http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a8/
%G en
%F ZR_1977_2_10_a8

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

The merits of a system of natural deduction are not only determined by its value as a logical system in itself. Since it formalizes deductions in a manner close to intuitive reasoning, natural deduction can also be used as a (logical) framework for mathematical argumentation. One may say that many mathematical texts are tacitly based on a form of natural deduction, as regards the logical part of the deductive patterns.