Natural deduction (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Natural deduction" in English language version.

refsWebsite

Global rank English rank

3doi.org

2^nd place

3stanford.edu

179^th place

183^rd place

2utm.edu

1,379^th place

1,175^th place

2uni-goettingen.de

2,594^th place

2,546^th place

2semanticscholar.org

11^th place

8^th place

2archive.org

6^th place

1unisi.it

low place

1wolfram.com

513^th place

537^th place

1miami.edu

4,511^th place

2,800^th place

1colorado.edu

2,526^th place

1,796^th place

1springer.com

274^th place

309^th place

1books.google.com

3^rd place

1worldcat.org

5^th place

archive.org

Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4.
See also his book Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4.

books.google.com

Plato, Jan von (2013). Elements of Logical Reasoning. Cambridge University Press. pp. 12–13. ISBN 978-1-107-03659-8.

colorado.edu

math.colorado.edu

"Lecture Topics for Discrete Math Students". math.colorado.edu. Retrieved 2024-03-22.

doi.org

Gentzen 1934, Gentzen 1935. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.) Gentzen, Gerhard Karl Erich (1935). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837.
Gentzen 1934, p. 176. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.)
Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. pp. 2, 20. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.

miami.edu

cs.miami.edu

"Propositional Logic". www.cs.miami.edu. Retrieved 2024-03-22.

semanticscholar.org

api.semanticscholar.org

Gentzen 1934, Gentzen 1935. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.) Gentzen, Gerhard Karl Erich (1935). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837.
Gentzen 1934, p. 176. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.)

springer.com

link.springer.com

Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. pp. 2, 20. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.

stanford.edu

plato.stanford.edu

Pelletier, Francis Jeffry; Hazen, Allen (2024), "Natural Deduction Systems in Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-03-22
Restall, Greg (2018), "Substructural Logics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-03-22
Paseau, Alexander; Pregel, Fabian (2023), "Deductivism in the Philosophy of Mathematics", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-03-22

uni-goettingen.de

gdz.sub.uni-goettingen.de

Gentzen 1934, Gentzen 1935. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.) Gentzen, Gerhard Karl Erich (1935). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837.
Gentzen 1934, p. 176. Gentzen, Gerhard Karl Erich (1934). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/BF01201353. S2CID 121546341. (English translation Investigations into Logical Deduction in M. E. Szabo. The Collected Works of Gerhard Gentzen. North-Holland Publishing Company, 1969.)

unisi.it

docenti.lett.unisi.it

Martin-Löf 1996. Martin-Löf, Per (1996). "On the meanings of the logical constants and the justifications of the logical laws" (PDF). Nordic Journal of Philosophical Logic. 1 (1): 11–60. Lecture notes to a short course at Università degli Studi di Siena, April 1983.

utm.edu

iep.utm.edu

"Natural Deduction | Internet Encyclopedia of Philosophy". Retrieved 2024-05-01.
"Compactness | Internet Encyclopedia of Philosophy". Retrieved 2024-03-22.

wolfram.com

mathworld.wolfram.com

Weisstein, Eric W. "Connective". mathworld.wolfram.com. Retrieved 2024-03-22.

worldcat.org

Arthur, Richard T. W. (2017). An introduction to logic: using natural deduction, real arguments, a little history, and some humour (2nd ed.). Peterborough, Ontario: Broadview Press. ISBN 978-1-55481-332-2. OCLC 962129086.