Search
Results
Good Logic books? : math
Teach Yourself Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
Free Mathematical Logic Books | Download free books legally
[https://www.topfreebooks.org/free-mathematics-ebooks-online-mathematical-logic/] - - public:stevetao
Mathematical Logic - Free Books at EBD
Exercises for First-Order Logic - Intro to Logic - OpenStax CNX
[https://cnx.org/contents/OD1Lhy17@20.20:Rq860IY2@28/Exercises-for-First-Order-Logic] - - public:stevetao
Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki · GitHub
A Concise Introduction to Logic - Open SUNY Textbooks
Free Online Logic Textbooks
Logic Primer Files — Teller Logic Primer
the forall x homepage
Open Logic Project | Open Source, Customizable, Advanced Logic Text
Cse371, Math371 LOGIC
Automated Theorem Proving, Prolegomena on Propositional Logic
logic - Why is this set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} the most common set of axioms for propositional calculus? - Philosophy Stack Exchange
[https://philosophy.stackexchange.com/questions/1365/why-is-this-set-cqcpq-ccpcqrccpqcpr-ccnpnqcqp-the-most-common-set-of-axioms] - - public:stevetao
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog
[https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] - - public:stevetao
New Elegant Axiomatizations of Some Logics
lo.logic - What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus? - MathOverflow
[https://mathoverflow.net/questions/182338/what-is-the-complete-set-of-shortest-axioms-of-classical-conditional-negation-pr] - - public:stevetao