Resources: ஏரணம் மற்றும் உறுதி
November 8, 2025•80 words
ஏரணம் மற்றும் உறுதி
Introduction to Logic
Stanford
http://intrologic.stanford.edu/
Slides
http://intrologic.stanford.edu/stanford/slides.php
Logic and Proof
Department of Computer Science and Technology, University of Cambridge
https://www.cl.cam.ac.uk/teaching/2425/LogicProof/materials.html
A Friendly Introduction to Mathematical Logic - Milne Open Textbooks
https://milneopentextbooks.org/a-friendly-introduction-to-mathematical-logic/
Open Logic Project
An Open-Source, Collaborative Logic Text
https://openlogicproject.org/
https://builds.openlogicproject.org/
https://forallx.openlogicproject.org/
Other Logic Textbooks
https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks
nLab
https://ncatlab.org
Logic Matters
https://www.logicmatters.net/
https://commons.libretexts.org/
https://antonyeagle.org/logic.html
Modern Formal Logic Primer
https://tellerprimer.ucdavis.edu/
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