Déduction naturelle (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Déduction naturelle" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

57^th place

4^th place

1books.google.com

3^rd place

11^th place

6,599^th place

407^th place

books.google.com

(en) Dag Prawitz, Natural deduction : A proof-theoretical study, Mineola, New York, Dover Publications, 2006 (1^re éd. 1965), 113 p. (ISBN 978-0-486-44655-4, lire en ligne)

doi.org

dx.doi.org

(de) Gerhard Gentzen, « Untersuchungen über das logische Schließen. I », Mathematische Zeitschrift, vol. 39, n^o 1,‎ 1^er décembre 1935, p. 176–210 (ISSN 1432-1823, DOI 10.1007/BF01201353, lire en ligne, consulté le 4 mars 2019)

doi.org

(de) Gerhard Gentzen, « Untersuchungen über das logische Schließen. I », Mathematische Zeitschrift, vol. 39, n^o 1,‎ 1^er décembre 1935, p. 176–210 (ISSN 1432-1823, DOI 10.1007/BF01201353, lire en ligne, consulté le 4 mars 2019)

ens-lyon.fr

perso.ens-lyon.fr

« Cours de logique à l'ENS Lyon ».

issn.org

portal.issn.org

(de) Gerhard Gentzen, « Untersuchungen über das logische Schließen. I », Mathematische Zeitschrift, vol. 39, n^o 1,‎ 1^er décembre 1935, p. 176–210 (ISSN 1432-1823, DOI 10.1007/BF01201353, lire en ligne, consulté le 4 mars 2019)