resource: logic
April 6, 2026•650 words
ஏரணம் மற்றும் உறுதி
chat | symbol | term | outline | Open Logic Project | A Friendly Introduction | Book of Proof | Logic, Cambridge | nLab | The n-Category Café | Logic Matters | Carnap | Pr∞fWiki | arXiv: math.LO | others |
chat
https://claude.ai/share/53ed5da0-8a96-40e1-8c33-5dcb1efab5d2
symbol
List of logic symbols - Wikipedia
https://en.wikipedia.org/wiki/List_of_logic_symbols
Comprehensive List of Logic Symbols | Math Vault
https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/
term
glossary of logic
https://en.wikipedia.org/wiki/Glossary_of_logic
https://en.wiktionary.org/wiki/Appendix:Glossary_of_logic
Logic Terms and Concepts
https://ics.uci.edu/~alspaugh/cls/shr/logicConcepts.html
https://en.wikipedia.org/wiki/Category:Logic-related_lists
outline
https://en.wikipedia.org/wiki/Category:Outlines_of_mathematics_and_logic
Open Logic Project
An Open-Source, Collaborative Logic Text
https://openlogicproject.org/
Open Logic Project Builds
https://builds.openlogicproject.org/
https://forallx.openlogicproject.org/
forall x: Calgary. An Introduction to Formal Logic - forallxyyc.pdf
https://forallx.openlogicproject.org/forallxyyc.pdf
Other Logic TextbooksLogic symbols - GeeksforGeeks
https://www.geeksforgeeks.org/maths/logic-symbols/
https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks
A Friendly Introduction
A Friendly Introduction to Mathematical Logic - Milne Open Textbooks
https://milneopentextbooks.org/a-friendly-introduction-to-mathematical-logic/
"A Friendly Introduction to Mathematical Logic" by Christopher C. Leary and Lars Kristiansen
https://knightscholar.geneseo.edu/geneseo-authors/6/
Book of Proof
https://richardhammack.github.io/BookOfProof/
Logic, Cambridge
Logic and Proof
https://www.cl.cam.ac.uk/teaching/2526/LogicProof/
https://www.cl.cam.ac.uk/teaching/2526/LogicProof/logic-notes.pdf
https://www.cl.cam.ac.uk/teaching/2526/LogicProof/logic-slides.pdf
--
Discrete Mathematics
https://www.cl.cam.ac.uk/teaching/2526/DiscMath/materials.html
https://www.cl.cam.ac.uk/teaching/2526/DiscMath/DiscMathProofsNumbersSetsNotes.pdf
https://www.cl.cam.ac.uk/teaching/2526/DiscMath/DiscMathProofsNumbersSetsSlides.pdf
--
Proof Assistants
https://www.cl.cam.ac.uk/teaching/2526/L81/
https://www.cl.cam.ac.uk/teaching/2526/L81/intro.pdf
http://concrete-semantics.org/
https://www.cl.cam.ac.uk/teaching/2526/L81/isabelle/isabelle-prog-prove.pdf
https://leanprover-community.github.io/learn.html
--
Introduction to Probability
https://www.cl.cam.ac.uk/teaching/2526/IntroProb/
https://www.cl.cam.ac.uk/teaching/2425/IntroProb/materials.html
--
Foundations of Computer Science
https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/
--
Computation Theory
https://www.cl.cam.ac.uk/teaching/2526/CompTheory/
https://www.cl.cam.ac.uk/teaching/2526/CompTheory/full-notes.pdf
--
Semantics of Programming Languages
https://www.cl.cam.ac.uk/teaching/2526/Semantics/
https://www.cl.cam.ac.uk/teaching/2526/Semantics/slides.pdf
https://www.cl.cam.ac.uk/teaching/2526/Semantics/notes.pdf
--
Hoare Logic and Model Checking
https://www.cl.cam.ac.uk/teaching/2425/HLog+ModC/materials.html
Formal Models of Language
https://www.cl.cam.ac.uk/teaching/2425/ForModLang/materials.html
--
Category Theory
https://www.cl.cam.ac.uk/teaching/2526/CAT/
Contents - How to Think Like a Mathematician
https://www.cambridge.org/core/books/abs/how-to-think-like-a-mathematician/contents/AAFAC52372F1C9CB75E5D8AF7CBE3C99
--
Algebraic Techniques for Programming
https://www.cl.cam.ac.uk/teaching/2526/ATFP/
https://www.cl.cam.ac.uk/teaching/2526/ATFP/course-notes.pdf
https://www.cl.cam.ac.uk/teaching/2526/ATFP/slides.pdf
https://www.cl.cam.ac.uk/teaching/2526/ATFP/exercises.pdf
--
Types
https://www.cl.cam.ac.uk/teaching/2526/Types/
https://www.cl.cam.ac.uk/teaching/2425/Types/materials.html
nLab
The n-Category Café
Logic Matters
Carnap
Pr∞fWiki
arXiv: math.LO
https://arxiv.org/list/math.LO/recent
others
https://www.logicinaction.org/
Milne Open Textbooks: Logic
https://milneopentextbooks.org/tag/logic/
OER Commons: Logic
https://oercommons.org/search?search_source=site&f.search=LOGIC
LibreTexts: Logic
https://commons.libretexts.org/
LibreCommons | Catalog
https://commons.libretexts.org/?search=logic
https://ranger.uta.edu/~huber/cse4308/node3.html
MSc Foundations of Computer Science: course materials
https://www.cs.ox.ac.uk/people/paul.goldberg/FCS/
Intro to Predicate Logic
https://www.cs.ox.ac.uk/people/paul.goldberg/FCS/slides5.pdf
15–414/614 Bug Catching: Automated Program Verification
https://www.cs.cmu.edu/~emc/15414-f12/lecture.html
Index of /~emc/15414-f12/lecture
https://www.cs.cmu.edu/~emc/15414-f12/lecture/
Lecture 1: Propositional Logic
https://www.cs.cmu.edu/~emc/15414-f12/lecture/propositional_logic.pdf
Introduction to Logic – Antony Eagle
https://antonyeagle.org/logic.html
Modern Formal Logic Primer
https://tellerprimer.ucdavis.edu/
A Problem Course in Mathematical Logic (Stefan Bilaniuk)
pcml-16.dvi - pcml-16.pdf
http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf
Stefan Bilaniuk
http://euclid.trentu.ca/math/sb/stefan.html
Representations for KBS:
Logic: When Sound Deduction is Required
https://ocw.mit.edu/courses/6-871-knowledge-based-applications-systems-spring-2005/233e2e8021787d40f9c4e73e1f06283d_lect08_logic.pdf
https://web.stanford.edu/class/archive/cs/cs103/cs103.1132/
https://web.stanford.edu/class/archive/cs/cs103/cs103.1132/lectures/09/Small09.pdf
https://ics.uci.edu/~kibler/ics270a/syllabus/PropositionalLogic
https://www.cs.ox.ac.uk/people/michael.wooldridge/teaching/soft-eng/lect07.pdf
https://disi.unitn.it/rseba/DIDATTICA/fm2020/01_FORMAL_METHODS_SLIDES.pdf
lec01propintrosol.pdf
https://cs.uwaterloo.ca/~a23gao/cs245s18/slides/lec01propintro_sol.pdf
Mathematical Logic 2017 Lecture 1: Introduction and background - lec-01.pdf
https://www.cse.iitb.ac.in/~akg/courses/2017-logic/lec-01.pdf
Logic & Proofs — Open & Free - OLI
https://oli.cmu.edu/courses/logic-proofs-copy/
Introduction to Logic | Coursera
https://www.coursera.org/learn/logic-introduction
Logic I | Linguistics and Philosophy | MIT OpenCourseWare
https://ocw.mit.edu/courses/24-241-logic-i-fall-2009/
12: Logic Learning Resources - Mathematics LibreTexts
https://math.libretexts.org/Courses/Stanford_Online_High_School/Logic_for_All%3A_An_Introduction_to_Logical_Reasoning/12%3A_Logic_Learning_Resources
University of Washington – Introduction to Logic Lecture Notes
Detailed HTML/PDF-style notes with examples, truth tables, proofs, and translations. Great companion to slides.
→ https://faculty.washington.edu/smcohen/120/LectureNotes.htm
Glossary of logical terms - Glossary.pdf
https://faculty.washington.edu/smcohen/120/Glossary.pdf
UCLA – Lecture Notes in Logic
Comprehensive PDF notes starting from basics to Gödel's Completeness Theorem. Rigorous and mathematical.
→ https://www.math.ucla.edu/~ynm/lectures/lnl.pdf
4UMass Amherst – Basic Concepts of Logic
Clear introductory PDF chapters on deductive vs. inductive, validity, etc.
→ https://courses.umass.edu/phil110-gmh/text/c01.pdf (part of a full set)
Hardegree - Philosophy 110
https://courses.umass.edu/phil110-gmh/MAIN/IHome-1.htm
Department of Logic
https://lps.elte.hu/logic/
Logic | Princeton University Press
https://press.princeton.edu/books/hardcover/9780691151632/logic
settheory.pdf
https://www.math.toronto.edu/weiss/settheory.pdf
https://www.historyoflogic.com/
android apps: கலந்துரையாடல்
LogicalDefence
LukeStonehm/LogicalDefence: An open source Android app that displays a list of the logical fallacies that haunt every rationalists world
https://github.com/LukeStonehm/LogicalDefence
Logical Defense | F-Droid - Free and Open Source Android App Repository
https://f-droid.org/packages/za.co.lukestonehm.logicaldefence/
Logical Argumentation
pub:Econ_Prof
https://play.google.com/store/apps/details?id=org.kastalia.logic
Stack
tylerbwong/stack: An Android app for browsing Stack Overflow and other Stack Exchange sites.
https://github.com/tylerbwong/stack
Stack Overflow Comm Version
https://play.google.com/store/apps/details?id=com.josycom.mayorjay.flowoverstack
Greek Reference: Ancient Greek Lexicon & Syntax
blinskey/greek-reference: An ancient Greek lexicon and grammar for Android.
https://github.com/blinskey/greek-reference
https://play.google.com/store/apps/details?id=com.reddit.frontpage
wiki
https://en.wikipedia.org/wiki/Category:Logic
https://en.wikipedia.org/wiki/List_of_axiomatic_systems_in_logic
https://en.wikipedia.org/wiki/List_of_logic_journals