Propositional logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Propositional logic" in English language version.

Last modified: 15:09:23, 16 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

4616stanford.edu

194^th place

182^nd place

375utm.edu

1,830^th place

1,501^st place

3614doi.org

2^nd place

3215worldcat.org

4^th place

2010books.google.com

3^rd place

63wolfram.com

1,091^st place

1,169^th place

52web.archive.org

1^st place

43springer.com

182^nd place

172^nd place

41metamath.org

low place

33stonybrook.edu

9,832^nd place

5,790^th place

33britannica.com

37^th place

64^th place

31toronto.edu

low place

31mcmaster.ca

6,115^th place

4,025^th place

31yale.edu

559^th place

389^th place

22ams.org

434^th place

249^th place

22odu.edu

low place

7,704^th place

22oxfordreference.com

809^th place

542^nd place

21miami.edu

4,822^nd place

2,966^th place

21colorado.edu

2,916^th place

1,912^th place

22nih.gov

5^th place

21libretexts.org

4,683^rd place

3,565^th place

21ualberta.ca

3,255^th place

2,085^th place

21tru.ca

low place

11terrytao.wordpress.com

low place

11uidaho.edu

9,989^th place

7,365^th place

11brilliant.org

low place

11semanticscholar.org

15^th place

8^th place

11fsu.edu

2,949^th place

1,945^th place

11hawaii.edu

1,313^th place

884^th place

11millersville.edu

low place

11columbia.edu

554^th place

368^th place

11latech.edu

low place

11jstor.org

23^rd place

15^th place

11rochester.edu

2,816^th place

1,888^th place

11cornell.edu

308^th place

253^rd place

11openmathbooks.org

low place

11leanprover.github.io

low place

11emse.fr

low place

11geneseo.edu

low place

11mit.edu

476^th place

340^th place

11ru.nl

7,619^th place

6,271^st place

ams.org (Global: 434^th place; English: 249^th place)

mathscinet.ams.org

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010
Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484

books.google.com (Global: 3^rd place; English: 3^rd place)

Lemmon, E. J. (30 September 1971). Beginning Logic. CRC Press. pp. ix. ISBN 978-0-412-38090-7.
Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484
Matthes, Ralph (1999). Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types. Herbert Utz Verlag. p. 23. ISBN 978-3-89675-578-0.
Fitting, Melvin (6 December 2012). First-Order Logic and Automated Theorem Proving. Springer Science & Business Media. p. 16. ISBN 978-1-4612-2360-3.
Restall, Greg; Standefer, Shawn (3 January 2023). Logical Methods. MIT Press. p. 76. ISBN 978-0-262-54484-9.
Beall, J. C.; Restall, Greg (2006). Logical Pluralism. Clarendon Press. p. 38. ISBN 978-0-19-928840-3.
Smullyan, Raymond M. (23 July 2014). A Beginner's Guide to Mathematical Logic. Courier Corporation. pp. 102–103. ISBN 978-0-486-49237-7.
Mendelsohn, Richard L. (10 January 2005). The Philosophy of Gottlob Frege. Cambridge University Press. p. 185. ISBN 978-1-139-44403-3.
Łukasiewicz, Jan (1970). Jan Lukasiewicz: Selected Works. North-Holland. p. 136.
Church, Alonzo (1996). Introduction to Mathematical Logic. Princeton University Press. p. 119. ISBN 978-0-691-02906-1.

brilliant.org (Global: low place; English: low place)

"Propositional Logic | Brilliant Math & Science Wiki". brilliant.org. Retrieved 20 August 2020.

britannica.com (Global: 37^th place; English: 64^th place)

"Truth table | Boolean, Operators, Rules | Britannica". www.britannica.com. 14 March 2024. Retrieved 23 March 2024.
"Formal logic - Semantic Tableaux, Proofs, Rules | Britannica". www.britannica.com. Retrieved 23 March 2024.
"Axiomatic method | Logic, Proofs & Foundations | Britannica". www.britannica.com. Retrieved 23 March 2024.

colorado.edu (Global: 2,916^th place; English: 1,912^th place)

math.colorado.edu

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

columbia.edu (Global: 554^th place; English: 368^th place)

cs.columbia.edu

"Lecture1". www.cs.columbia.edu. Retrieved 22 March 2024.

cornell.edu (Global: 308^th place; English: 253^rd place)

cs.cornell.edu

"Propositional calculus". www.cs.cornell.edu. Retrieved 22 March 2024.

doi.org (Global: 2^nd place; English: 2^nd place)

doi.org

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010
Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484
Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.
Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.
Makridis, Odysseus (2022). Symbolic Logic. Palgrave Philosophy Today. p. 87. doi:10.1007/978-3-030-67396-3. ISBN 978-3-030-67395-6. ISSN 2947-9339.
Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. p. 2. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.
Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.
Landman, Fred (1991). Structures for Semantics. Studies in Linguistics and Philosophy. Vol. 45. p. 127. doi:10.1007/978-94-011-3212-1. ISBN 978-0-7923-1240-6. ISSN 0924-4662.
Chowdhary, K.R. (2020). Fundamentals of Artificial Intelligence. pp. 31–34. doi:10.1007/978-81-322-3972-7. ISBN 978-81-322-3970-3.
Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on Computer Science. Cham: Springer International Publishing. p. 18. doi:10.1007/978-3-031-01801-5. ISBN 978-3-031-00673-9.
Rogers, Robert L. (1971). Mathematical Logic and Formalized Theories. Elsevier. pp. 38–39. doi:10.1016/c2013-0-11894-6. ISBN 978-0-7204-2098-2.
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "semantic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "syntactic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024

dx.doi.org

Rogers, Robert L. (1971). Mathematical Logic and Formalized Theories. Elsevier. pp. 38–39. doi:10.1016/c2013-0-11894-6. ISBN 978-0-7204-2098-2.

emse.fr (Global: low place; English: low place)

"Knowledge Representation and Reasoning: Basics of Logics". www.emse.fr. Retrieved 28 March 2024.

fsu.edu (Global: 2,949^th place; English: 1,945^th place)

math.fsu.edu

"Part2Mod1: LOGIC: Statements, Negations, Quantifiers, Truth Tables". www.math.fsu.edu. Retrieved 22 March 2024.

geneseo.edu (Global: low place; English: low place)

milnepublishing.geneseo.edu

DeLancey, Craig (2017). "A Concise Introduction to Logic: §4. Proofs". Milne Publishing. Retrieved 23 March 2024.

hawaii.edu (Global: 1,313^th place; English: 884^th place)

www2.hawaii.edu

"Lecture Notes on Logical Organization and Critical Thinking". www2.hawaii.edu. Retrieved 22 March 2024.

jstor.org (Global: 23^rd place; English: 15^th place)

Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.

latech.edu (Global: low place; English: low place)

watson.latech.edu

"Watson". watson.latech.edu. Retrieved 22 March 2024.

leanprover.github.io (Global: low place; English: low place)

"6. Semantics of Propositional Logic — Logic and Proof 3.18.4 documentation". leanprover.github.io. Retrieved 28 March 2024.

libretexts.org (Global: 4,683^rd place; English: 3,565^th place)

math.libretexts.org

"1.4: Tautologies and contradictions". Mathematics LibreTexts. 9 September 2021. Retrieved 29 March 2024.

mcmaster.ca (Global: 6,115^th place; English: 4,025^th place)

digitalcommons.mcmaster.ca

"Russell: the Journal of Bertrand Russell Studies". Archived from the original on 3 November 2013. Retrieved 6 January 2012.

metamath.org (Global: low place; English: low place)

us.metamath.org

"Proof Explorer - Home Page - Metamath". us.metamath.org. Retrieved 2 July 2024.

miami.edu (Global: 4,822^nd place; English: 2,966^th place)

cs.miami.edu

"Propositional Logic". www.cs.miami.edu. Retrieved 22 March 2024.

millersville.edu (Global: low place; English: low place)

sites.millersville.edu

"Logical Connectives". sites.millersville.edu. Retrieved 22 March 2024.

mit.edu (Global: 476^th place; English: 340^th place)

logitext.mit.edu

"Interactive Tutorial of the Sequent Calculus". logitext.mit.edu. Retrieved 23 March 2024.

nih.gov (Global: 5^th place; English: 5^th place)

ncbi.nlm.nih.gov

Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.

pubmed.ncbi.nlm.nih.gov

Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.

odu.edu (Global: low place; English: 7,704^th place)

cs.odu.edu

"Introduction to Theoretical Computer Science, Chapter 1". www.cs.odu.edu. Retrieved 22 March 2024.
Toida, Shunichi (2 August 2009). "Proof of Implications". CS381 Discrete Structures/Discrete Mathematics Web Course Material. Department of Computer Science, Old Dominion University. Retrieved 10 March 2010.

openmathbooks.org (Global: low place; English: low place)

discrete.openmathbooks.org

Levin, Oscar. Propositional Logic.

oxfordreference.com (Global: 809^th place; English: 542^nd place)

Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "semantic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024
Ferguson, Thomas Macaulay; Priest, Graham (23 June 2016), "syntactic consequence", A Dictionary of Logic, Oxford University Press, doi:10.1093/acref/9780191816802.001.0001, ISBN 978-0-19-181680-2, retrieved 23 March 2024

rochester.edu (Global: 2,816^th place; English: 1,888^th place)

cs.rochester.edu

"Propositional Logic". www.cs.rochester.edu. Retrieved 22 March 2024.

ru.nl (Global: 7,619^th place; English: 6,271^st place)

cs.ru.nl

Lucas, Peter; Gaag, Linda van der (1991). Principles of expert systems (PDF). International computer science series. Wokingham, England; Reading, Mass: Addison-Wesley. p. 26. ISBN 978-0-201-41640-4.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Anellis, Irving H. (2012). "Peirce's Truth-functional Analysis and the Origin of the Truth Table". History and Philosophy of Logic. 33: 87–97. doi:10.1080/01445340.2011.621702. S2CID 170654885.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Makridis, Odysseus (2022). Symbolic Logic. Palgrave Philosophy Today. p. 87. doi:10.1007/978-3-030-67396-3. ISBN 978-3-030-67395-6. ISSN 2947-9339.
Ayala-Rincón, Mauricio; de Moura, Flávio L.C. (2017). Applied Logic for Computer Scientists. Undergraduate Topics in Computer Science. Springer. p. 2. doi:10.1007/978-3-319-51653-0. ISBN 978-3-319-51651-6.
Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on Computer Science. Cham: Springer International Publishing. p. 18. doi:10.1007/978-3-031-01801-5. ISBN 978-3-031-00673-9.

stanford.edu (Global: 194^th place; English: 182^nd place)

plato.stanford.edu

Franks, Curtis (2024). "Propositional Logic". In Zalta, Edward N.; Nodelman, Uri (eds.). Stanford Encyclopedia of Philosophy (Winter 2024 ed.). Metaphysics Research Lab, Stanford University. Retrieved 7 April 2025.
McGrath, Matthew; Frank, Devin (2023), "Propositions", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Bobzien, Susanne (1 January 2016). "Ancient Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
Bobzien, Susanne (2020), "Ancient Logic", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2020 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Peckhaus, Volker (1 January 2014). "Leibniz's Influence on 19th Century Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
Dutilh Novaes, Catarina (2022), "Argument and Argumentation", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved 5 April 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, 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, 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
Demey, Lorenz; Kooi, Barteld; Sack, Joshua (2023), "Logic and Probability", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Fall 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 22 March 2024
Shramko, Yaroslav; Wansing, Heinrich (2021), "Truth Values", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Winter 2021 ed.), Metaphysics Research Lab, Stanford University, retrieved 23 March 2024
Shapiro, Stewart; Kouri Kissel, Teresa (2024), "Classical Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 25 March 2024
Aloni, Maria (2023), "Disjunction", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 23 March 2024
"Natural Deduction Systems in Logic > Notes (Stanford Encyclopedia of Philosophy)". plato.stanford.edu. Retrieved 19 April 2024.

intrologic.stanford.edu

"Introduction to Logic - Chapter 2". intrologic.stanford.edu. Retrieved 22 March 2024.

mally.stanford.edu

"Propositional Logic". mally.stanford.edu. Retrieved 23 March 2024.

stonybrook.edu (Global: 9,832^nd place; English: 5,790^th place)

www3.cs.stonybrook.edu

"Predicate Logic". www3.cs.stonybrook.edu. Retrieved 22 March 2024.
"Analytic Tableaux". www3.cs.stonybrook.edu. Retrieved 23 March 2024.
Bachmair, Leo (2009). "CSE541 Logic in Computer Science" (PDF). Stony Brook University.

terrytao.wordpress.com (Global: low place; English: low place)

Tao, Terence (2010), "The completeness and compactness theorems of first-order logic", An epsilon of room, II, American Mathematical Society, pp. 27–31, doi:10.1090/mbk/077, ISBN 978-0-8218-5280-4, MR 2780010

toronto.edu (Global: low place; English: low place)

teach.cs.toronto.edu

"3.1 Propositional Logic". www.teach.cs.toronto.edu. Retrieved 22 March 2024.

tru.ca (Global: low place; English: low place)

intrologicimport.pressbooks.tru.ca

DeLancey, Craig; Woodrow, Jenna (2017). Elementary Formal Logic (1 ed.). Pressbooks.

ualberta.ca (Global: 3,255^th place; English: 2,085^th place)

sites.ualberta.ca

Sylvestre, Jeremy. EF Tautologies and contradictions.

uidaho.edu (Global: 9,989^th place; English: 7,365^th place)

webpages.uidaho.edu

"Philosophy 404: Lecture Five". www.webpages.uidaho.edu. Retrieved 22 March 2024.

utm.edu (Global: 1,830^th place; English: 1,501^st place)

iep.utm.edu

Klement, Kevin C. "Propositional Logic". In Fieser, James; Dowden, Bradley (eds.). Internet Encyclopedia of Philosophy. Retrieved 7 April 2025.
"Propositional Logic | Internet Encyclopedia of Philosophy". Retrieved 20 August 2020.
"Validity and Soundness | Internet Encyclopedia of Philosophy". Retrieved 5 April 2024.
"Compactness | Internet Encyclopedia of Philosophy". Retrieved 22 March 2024.
"Natural Deduction | Internet Encyclopedia of Philosophy". Retrieved 23 March 2024.

web.archive.org (Global: 1^st place; English: 1^st place)

Truth in Frege
"Russell: the Journal of Bertrand Russell Studies". Archived from the original on 3 November 2013. Retrieved 6 January 2012.

wolfram.com (Global: 1,091^st place; English: 1,169^th place)

mathworld.wolfram.com

Weisstein, Eric W. "Propositional Calculus". Wolfram MathWorld. Retrieved 9 August 2025.
Weisstein, Eric W. "Connective". Wolfram MathWorld. Retrieved 9 August 2025.
Weisstein, Eric W. "Sequent Calculus". Wolfram MathWorld. Retrieved 9 August 2025.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Hilbert, D.; Ackermann, W. (1950). Principles of Mathematical Logic. Chelsea Publishing Company. OCLC 372927.
Stojnić, Una (2017). "One's Modus Ponens: Modality, Coherence and Logic". Philosophy and Phenomenological Research. 95 (1): 167–214. doi:10.1111/phpr.12307. ISSN 0031-8205. JSTOR 48578954.
Humberstone, Lloyd (2011). The connectives. Cambridge, Mass: MIT Press. pp. 118, 702. ISBN 978-0-262-01654-4. OCLC 694679197.
Makridis, Odysseus (2022). Symbolic Logic. Palgrave Philosophy Today. p. 87. doi:10.1007/978-3-030-67396-3. ISBN 978-3-030-67395-6. ISSN 2947-9339.
Metcalfe, David; Powell, John (2011). "Should doctors spurn Wikipedia?". Journal of the Royal Society of Medicine. 104 (12): 488–489. doi:10.1258/jrsm.2011.110227. ISSN 0141-0768. PMC 3241521. PMID 22179287.
Ayers, Phoebe; Matthews, Charles; Yates, Ben (2008). How Wikipedia works: and how you can be a part of it. San Francisco: No Starch Press. p. 22. ISBN 978-1-59327-176-3. OCLC 185698411.
Landman, Fred (1991). Structures for Semantics. Studies in Linguistics and Philosophy. Vol. 45. p. 127. doi:10.1007/978-94-011-3212-1. ISBN 978-0-7923-1240-6. ISSN 0924-4662.
Burgess, John P. (2009). Philosophical logic. Princeton foundations of contemporary philosophy. Princeton: Princeton University Press. p. 5. ISBN 978-0-691-13789-6. OCLC 276141382.
Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009: revised selected and invited papers. Lecture notes in computer science. Berlin; New York: Springer. p. 49. ISBN 978-3-642-16866-6. OCLC 681481210.
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.

worldcat.org

Humberstone, Lloyd (2011). The connectives. Cambridge, Mass: MIT Press. pp. 118, 702. ISBN 978-0-262-01654-4. OCLC 694679197.
Ayers, Phoebe; Matthews, Charles; Yates, Ben (2008). How Wikipedia works: and how you can be a part of it. San Francisco: No Starch Press. p. 22. ISBN 978-1-59327-176-3. OCLC 185698411.
Burgess, John P. (2009). Philosophical logic. Princeton foundations of contemporary philosophy. Princeton: Princeton University Press. p. 5. ISBN 978-0-691-13789-6. OCLC 276141382.
Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009: revised selected and invited papers. Lecture notes in computer science. Berlin; New York: Springer. p. 49. ISBN 978-3-642-16866-6. OCLC 681481210.
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.

yale.edu (Global: 559^th place; English: 389^th place)

cs.yale.edu

"MathematicalLogic". www.cs.yale.edu. Retrieved 23 March 2024.

Propositional logic (English Wikipedia)

ams.org (Global: 434th place; English: 249th place)

mathscinet.ams.org

books.google.com (Global: 3rd place; English: 3rd place)

brilliant.org (Global: low place; English: low place)

britannica.com (Global: 37th place; English: 64th place)

colorado.edu (Global: 2,916th place; English: 1,912th place)

math.colorado.edu

columbia.edu (Global: 554th place; English: 368th place)

cs.columbia.edu

cornell.edu (Global: 308th place; English: 253rd place)

cs.cornell.edu

doi.org (Global: 2nd place; English: 2nd place)

doi.org

dx.doi.org

emse.fr (Global: low place; English: low place)

fsu.edu (Global: 2,949th place; English: 1,945th place)

math.fsu.edu

geneseo.edu (Global: low place; English: low place)

milnepublishing.geneseo.edu

hawaii.edu (Global: 1,313th place; English: 884th place)

www2.hawaii.edu

jstor.org (Global: 23rd place; English: 15th place)

latech.edu (Global: low place; English: low place)

watson.latech.edu

leanprover.github.io (Global: low place; English: low place)

libretexts.org (Global: 4,683rd place; English: 3,565th place)

math.libretexts.org

mcmaster.ca (Global: 6,115th place; English: 4,025th place)

digitalcommons.mcmaster.ca

metamath.org (Global: low place; English: low place)

us.metamath.org

miami.edu (Global: 4,822nd place; English: 2,966th place)

cs.miami.edu

millersville.edu (Global: low place; English: low place)

sites.millersville.edu

mit.edu (Global: 476th place; English: 340th place)

logitext.mit.edu

nih.gov (Global: 5th place; English: 5th place)

ncbi.nlm.nih.gov

pubmed.ncbi.nlm.nih.gov

odu.edu (Global: low place; English: 7,704th place)

cs.odu.edu

openmathbooks.org (Global: low place; English: low place)

discrete.openmathbooks.org

oxfordreference.com (Global: 809th place; English: 542nd place)

rochester.edu (Global: 2,816th place; English: 1,888th place)

cs.rochester.edu

ru.nl (Global: 7,619th place; English: 6,271st place)

cs.ru.nl

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

springer.com (Global: 182nd place; English: 172nd place)

link.springer.com

stanford.edu (Global: 194th place; English: 182nd place)

plato.stanford.edu

intrologic.stanford.edu

mally.stanford.edu

stonybrook.edu (Global: 9,832nd place; English: 5,790th place)

www3.cs.stonybrook.edu

terrytao.wordpress.com (Global: low place; English: low place)

toronto.edu (Global: low place; English: low place)

teach.cs.toronto.edu

tru.ca (Global: low place; English: low place)

intrologicimport.pressbooks.tru.ca

ualberta.ca (Global: 3,255th place; English: 2,085th place)

sites.ualberta.ca

uidaho.edu (Global: 9,989th place; English: 7,365th place)

webpages.uidaho.edu

utm.edu (Global: 1,830th place; English: 1,501st place)

iep.utm.edu

web.archive.org (Global: 1st place; English: 1st place)

wolfram.com (Global: 1,091st place; English: 1,169th place)

mathworld.wolfram.com

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

worldcat.org

yale.edu (Global: 559th place; English: 389th place)

cs.yale.edu

ams.org (Global: 434^th place; English: 249^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

britannica.com (Global: 37^th place; English: 64^th place)

colorado.edu (Global: 2,916^th place; English: 1,912^th place)

columbia.edu (Global: 554^th place; English: 368^th place)

cornell.edu (Global: 308^th place; English: 253^rd place)

doi.org (Global: 2^nd place; English: 2^nd place)

fsu.edu (Global: 2,949^th place; English: 1,945^th place)

hawaii.edu (Global: 1,313^th place; English: 884^th place)

jstor.org (Global: 23^rd place; English: 15^th place)

libretexts.org (Global: 4,683^rd place; English: 3,565^th place)

mcmaster.ca (Global: 6,115^th place; English: 4,025^th place)

miami.edu (Global: 4,822^nd place; English: 2,966^th place)

mit.edu (Global: 476^th place; English: 340^th place)

nih.gov (Global: 5^th place; English: 5^th place)

odu.edu (Global: low place; English: 7,704^th place)

oxfordreference.com (Global: 809^th place; English: 542^nd place)

rochester.edu (Global: 2,816^th place; English: 1,888^th place)

ru.nl (Global: 7,619^th place; English: 6,271^st place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

springer.com (Global: 182^nd place; English: 172^nd place)

stanford.edu (Global: 194^th place; English: 182^nd place)

stonybrook.edu (Global: 9,832^nd place; English: 5,790^th place)

ualberta.ca (Global: 3,255^th place; English: 2,085^th place)

uidaho.edu (Global: 9,989^th place; English: 7,365^th place)

utm.edu (Global: 1,830^th place; English: 1,501^st place)

web.archive.org (Global: 1^st place; English: 1^st place)

wolfram.com (Global: 1,091^st place; English: 1,169^th place)

worldcat.org (Global: 4^th place; English: 4^th place)

yale.edu (Global: 559^th place; English: 389^th place)