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

7archive.org

6^th place

7worldcat.org

5^th place

5doi.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

2web.archive.org

1^st place

2openlogicproject.org

low place

2springer.com

274^th place

309^th place

1archive.today

14^th place

1unisi.it

low place

1wolfram.com

513^th place

537^th place

1miami.edu

4,511^th place

2,800^th place

1numdam.org

8,650^th place

7,668^th place

archive.org

Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896. Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN 9780486446554. OCLC 61296001.
Prawitz 1965. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Prawitz 1965, p. 20. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Prawitz 1965, p. 21. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Lemmon 1978. Lemmon, Edward John (1978) [1965]. Beginning Logic (Fifth printing, 1985 ed.). Boca Raton, FL: Hackett Publishing Company. ISBN 0915144-50-6.
Lemmon 1978, pp. passim, especially 39-40. Lemmon, Edward John (1978) [1965]. Beginning Logic (Fifth printing, 1985 ed.). Boca Raton, FL: Hackett Publishing Company. ISBN 0915144-50-6.
See also his book Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896. Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN 9780486446554. OCLC 61296001.

archive.today

Gentzen 1935a, Gentzen 1935b. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015. Gentzen, Gerhard Karl Erich (1935b). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837. Archived from the original on 9 July 2012.

doi.org

Gentzen 1935a, Gentzen 1935b. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015. Gentzen, Gerhard Karl Erich (1935b). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837. Archived from the original on 9 July 2012.
Gentzen 1935a, p. 176. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015.
Van Dalen 2013. Van Dalen, Dirk (2013) [1980]. Logic and Structure. Universitext (5 ed.). London, Heidelberg, New York, Dordrecht: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4558-5.
Ayala-Rincón & de Moura 2017, pp. 2, 20. Ayala-Rincón, Mauricio; de Moura, Flávio L. C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.
Ayala-Rincón & de Moura 2017, pp. 17–24. Ayala-Rincón, Mauricio; de Moura, Flávio L. C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.

miami.edu

cs.miami.edu

Sutcliffe. Sutcliffe, Geoff. "Propositional Logic". www.cs.miami.edu. University of Miami. Retrieved 4 May 2025.

numdam.org

Johansson 1937. Johansson, Ingebrigt (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (in German). 4: 119–136.

openlogicproject.org

forallx.openlogicproject.org

Magnus et al. 2023, p. 142, CHAPTER 20, Proof-theoretic concepts. Magnus, P.D.; Button, Tim; Trueman, Robert; Zach, Richard (2023). forall x: An Introduction to Formal Logic (Fall 2023 ed.). Open Logic Project. Retrieved 4 May 2025.
Magnus et al. 2023, p. 82, 12.5 The double turnstile. Magnus, P.D.; Button, Tim; Trueman, Robert; Zach, Richard (2023). forall x: An Introduction to Formal Logic (Fall 2023 ed.). Open Logic Project. Retrieved 4 May 2025.

semanticscholar.org

api.semanticscholar.org

Gentzen 1935a, Gentzen 1935b. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015. Gentzen, Gerhard Karl Erich (1935b). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837. Archived from the original on 9 July 2012.
Gentzen 1935a, p. 176. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015.

springer.com

link.springer.com

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

stanford.edu

plato.stanford.edu

Pelletier & Hazen 2024. 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 22 March 2024
Restall 2018. Restall, Greg (2018), "Substructural Logics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Paseau & Pregel 2023. 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 22 March 2024

uni-goettingen.de

gdz.sub.uni-goettingen.de

Gentzen 1935a, Gentzen 1935b. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015. Gentzen, Gerhard Karl Erich (1935b). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837. Archived from the original on 9 July 2012.
Gentzen 1935a, p. 176. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015.

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

Indrzejczak. Indrzejczak, Andrzej. "Natural Deduction". Internet Encyclopedia of Philosophy. Retrieved 4 May 2025.
Paseau & Leek. Paseau, A. C.; Leek, Robert. "The Compactness Theorem". Internet Encyclopedia of Philosophy. Retrieved 22 March 2024.

web.archive.org

Gentzen 1935a, Gentzen 1935b. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015. Gentzen, Gerhard Karl Erich (1935b). "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift. 39 (3): 405–431. doi:10.1007/bf01201363. S2CID 186239837. Archived from the original on 9 July 2012.
Gentzen 1935a, p. 176. Gentzen, Gerhard Karl Erich (1935a). "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift. 39 (2): 176–210. doi:10.1007/bf01201353. S2CID 121546341. Archived from the original on 24 December 2015.

wolfram.com

mathworld.wolfram.com

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

worldcat.org

search.worldcat.org

Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896. Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN 9780486446554. OCLC 61296001.
Prawitz 1965. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Prawitz 1965, p. 20. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Prawitz 1965, p. 21. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Arthur 2017. 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.
See also his book Prawitz 1965, Prawitz 2006. Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896. Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN 9780486446554. OCLC 61296001.

worldcat.org

Arthur 2017. 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.