Propositional calculus (English Wikipedia)

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

refsWebsite

Global rank English rank

16stanford.edu

179^th place

183^rd place

15worldcat.org

5^th place

14doi.org

2^nd place

10books.google.com

3^rd place

5utm.edu

1,379^th place

1,175^th place

3wolfram.com

513^th place

537^th place

3stonybrook.edu

9,697^th place

6,089^th place

3springer.com

274^th place

309^th place

3britannica.com

40^th place

58^th place

2ams.org

451^st place

277^th place

2web.archive.org

1^st place

2odu.edu

low place

7,401^st place

2oxfordreference.com

938^th place

658^th place

2nih.gov

4^th place

1terrytao.wordpress.com

low place

1uidaho.edu

8,940^th place

6,665^th place

1toronto.edu

low place

8,821^st place

1miami.edu

4,511^th place

2,800^th place

1brilliant.org

low place

8,871^st place

1mcmaster.ca

6,572^nd place

4,351^st place

1semanticscholar.org

11^th place

8^th place

1fsu.edu

2,584^th place

1,811^th place

1hawaii.edu

1,308^th place

924^th place

1millersville.edu

low place

1columbia.edu

488^th place

374^th place

1latech.edu

low place

1jstor.org

26^th place

20^th place

1colorado.edu

2,526^th place

1,796^th place

1rochester.edu

2,691^st place

1,948^th place

1cornell.edu

332^nd place

246^th place

1openmathbooks.org

low place

1leanprover.github.io

low place

1emse.fr

low place

1libretexts.org

3,627^th place

2,467^th place

1ualberta.ca

3,600^th place

2,528^th place

1tru.ca

low place

1geneseo.edu

low place

1yale.edu

565^th place

460^th place

1mit.edu

415^th place

327^th place

1ru.nl

9,179^th place

6,972^nd place

1metamath.org

low place

ams.org (Global: 451^st place; English: 277^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: 8,871^st place)

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

britannica.com (Global: 40^th place; English: 58^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,526^th place; English: 1,796^th place)

math.colorado.edu

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

columbia.edu (Global: 488^th place; English: 374^th place)

cs.columbia.edu

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

cornell.edu (Global: 332^nd place; English: 246^th 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,584^th place; English: 1,811^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,308^th place; English: 924^th place)

www2.hawaii.edu

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

jstor.org (Global: 26^th place; English: 20^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: 3,627^th place; English: 2,467^th place)

math.libretexts.org

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

mcmaster.ca (Global: 6,572^nd place; English: 4,351^st 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,511^th place; English: 2,800^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: 415^th place; English: 327^th place)

logitext.mit.edu

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

nih.gov (Global: 4^th place; English: 4^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,401^st 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: 938^th place; English: 658^th 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,691^st place; English: 1,948^th place)

cs.rochester.edu

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

ru.nl (Global: 9,179^th place; English: 6,972^nd 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: 11^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: 274^th place; English: 309^th 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: 179^th place; English: 183^rd 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,697^th place; English: 6,089^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: 8,821^st 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,600^th place; English: 2,528^th place)

sites.ualberta.ca

Sylvestre, Jeremy. EF Tautologies and contradictions.

uidaho.edu (Global: 8,940^th place; English: 6,665^th place)

webpages.uidaho.edu

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

utm.edu (Global: 1,379^th place; English: 1,175^th 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: 513^th place; English: 537^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: 5^th place; English: 5^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: 565^th place; English: 460^th place)

cs.yale.edu

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

Propositional calculus (English Wikipedia)

ams.org (Global: 451st place; English: 277th place)

mathscinet.ams.org

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

brilliant.org (Global: low place; English: 8,871st place)

britannica.com (Global: 40th place; English: 58th place)

colorado.edu (Global: 2,526th place; English: 1,796th place)

math.colorado.edu

columbia.edu (Global: 488th place; English: 374th place)

cs.columbia.edu

cornell.edu (Global: 332nd place; English: 246th 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,584th place; English: 1,811th place)

math.fsu.edu

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

milnepublishing.geneseo.edu

hawaii.edu (Global: 1,308th place; English: 924th place)

www2.hawaii.edu

jstor.org (Global: 26th place; English: 20th place)

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

watson.latech.edu

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

libretexts.org (Global: 3,627th place; English: 2,467th place)

math.libretexts.org

mcmaster.ca (Global: 6,572nd place; English: 4,351st place)

digitalcommons.mcmaster.ca

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

us.metamath.org

miami.edu (Global: 4,511th place; English: 2,800th place)

cs.miami.edu

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

sites.millersville.edu

mit.edu (Global: 415th place; English: 327th place)

logitext.mit.edu

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

ncbi.nlm.nih.gov

pubmed.ncbi.nlm.nih.gov

odu.edu (Global: low place; English: 7,401st place)

cs.odu.edu

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

discrete.openmathbooks.org

oxfordreference.com (Global: 938th place; English: 658th place)

rochester.edu (Global: 2,691st place; English: 1,948th place)

cs.rochester.edu

ru.nl (Global: 9,179th place; English: 6,972nd place)

cs.ru.nl

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

api.semanticscholar.org

springer.com (Global: 274th place; English: 309th place)

link.springer.com

stanford.edu (Global: 179th place; English: 183rd place)

plato.stanford.edu

intrologic.stanford.edu

mally.stanford.edu

stonybrook.edu (Global: 9,697th place; English: 6,089th place)

www3.cs.stonybrook.edu

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

toronto.edu (Global: low place; English: 8,821st place)

teach.cs.toronto.edu

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

intrologicimport.pressbooks.tru.ca

ualberta.ca (Global: 3,600th place; English: 2,528th place)

sites.ualberta.ca

uidaho.edu (Global: 8,940th place; English: 6,665th place)

webpages.uidaho.edu

utm.edu (Global: 1,379th place; English: 1,175th place)

iep.utm.edu

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

wolfram.com (Global: 513th place; English: 537th place)

mathworld.wolfram.com

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

search.worldcat.org

worldcat.org

yale.edu (Global: 565th place; English: 460th place)

cs.yale.edu

ams.org (Global: 451^st place; English: 277^th place)

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

brilliant.org (Global: low place; English: 8,871^st place)

britannica.com (Global: 40^th place; English: 58^th place)

colorado.edu (Global: 2,526^th place; English: 1,796^th place)

columbia.edu (Global: 488^th place; English: 374^th place)

cornell.edu (Global: 332^nd place; English: 246^th place)

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

fsu.edu (Global: 2,584^th place; English: 1,811^th place)

hawaii.edu (Global: 1,308^th place; English: 924^th place)

jstor.org (Global: 26^th place; English: 20^th place)

libretexts.org (Global: 3,627^th place; English: 2,467^th place)

mcmaster.ca (Global: 6,572^nd place; English: 4,351^st place)

miami.edu (Global: 4,511^th place; English: 2,800^th place)

mit.edu (Global: 415^th place; English: 327^th place)

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

odu.edu (Global: low place; English: 7,401^st place)

oxfordreference.com (Global: 938^th place; English: 658^th place)

rochester.edu (Global: 2,691^st place; English: 1,948^th place)

ru.nl (Global: 9,179^th place; English: 6,972^nd place)

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

springer.com (Global: 274^th place; English: 309^th place)

stanford.edu (Global: 179^th place; English: 183^rd place)

stonybrook.edu (Global: 9,697^th place; English: 6,089^th place)

toronto.edu (Global: low place; English: 8,821^st place)

ualberta.ca (Global: 3,600^th place; English: 2,528^th place)

uidaho.edu (Global: 8,940^th place; English: 6,665^th place)

utm.edu (Global: 1,379^th place; English: 1,175^th place)

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

wolfram.com (Global: 513^th place; English: 537^th place)

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

yale.edu (Global: 565^th place; English: 460^th place)