Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] -
-
public:
stevetao
Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] -
-
public:
stevetao
Simpson: Math 557: Mathematical Logic
[http://personal.psu.edu/t20/courses/math557/] -
-
public:
stevetao
logic - Boolean algebra operation precedence? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/128504/boolean-algebra-operation-precedence] -
-
public:
stevetao
Accueil - Étienne MIQUEY
[https://www.irif.fr/~emiquey/these/] -
-
public:
stevetao
Logic in Action
[http://www.logicinaction.org/] -
-
public:
stevetao
Richard Zach
[https://richardzach.org/] -
-
public:
stevetao
Language, Proof and Logic | Stanford Lagunita
[https://lagunita.stanford.edu/courses/Philosophy/LPL-SP/SelfPaced/about] -
-
public:
stevetao
A Modern Formal Logic Primer — Teller Logic Primer
[https://tellerprimer.ucdavis.edu/] -
-
public:
stevetao
Introduction to Mathematical Logic : Mendelson, Elliott : Free Download, Borrow, and Streaming : Internet Archive
[https://archive.org/details/IntroductionToMathematicalLogicByMendelson] -
-
public:
stevetao
Open Logic Project Builds
[http://builds.openlogicproject.org/] -
-
public:
stevetao
Open Logic Project – Open Source, Customizable, Advanced Logic Text
[https://openlogicproject.org/] -
-
public:
stevetao
Classical Logic (Stanford Encyclopedia of Philosophy)
[https://plato.stanford.edu/entries/logic-classical/] -
-
public:
stevetao
Online Mathematics Textbooks | Download free books legally
[https://www.topfreebooks.org/online-mathematics-textbooks/] -
-
public:
stevetao
Free Mathematics textbooks collection | Download free books legally
[https://www.topfreebooks.org/free-mathematics-textbooks-collection/] -
-
public:
stevetao
Handbook of Modal Logic: A Proposal
[http://cgi.csc.liv.ac.uk/~frank/MLHandbook/] -
-
public:
stevetao
20 Best Logic Books (#2 Can Get You To WIN Debates!) | 2018
[https://multipotens.com/logic-books/] -
-
public:
stevetao
Free Logic Textbooks – Open Logic Project
[http://openlogicproject.org/2015/05/25/free-logic-textbooks/] -
-
public:
stevetao
Camp Logic - Natural Math
[https://naturalmath.com/camplogic/] -
-
public:
stevetao
What is a good book to start learning about logic? - Quora
[https://www.quora.com/What-is-a-good-book-to-start-learning-about-logic] -
-
public:
stevetao
Kleene, S.C.: Mathematical Logic : S.C. Kleene : Free Download, Borrow, and Streaming : Internet Archive
[https://archive.org/details/KleeneMathematicalLogic/page/n11] -
-
public:
stevetao
GitHub - OpenLogicProject/OpenLogic: An open-source, customizable intermediate logic textbook
[https://github.com/OpenLogicProject/OpenLogic] -
-
public:
stevetao
Good Logic books? : math
[https://www.reddit.com/r/math/comments/4ew6k9/good_logic_books/] -
-
public:
stevetao
Teach Yourself Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
[https://www.logicmatters.net/tyl/] -
-
public:
stevetao
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
[https://www.e-booksdirectory.com/listing.php?category=33] -
-
public:
stevetao
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
[https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks] -
-
public:
stevetao
A Concise Introduction to Logic - Open SUNY Textbooks
[https://textbooks.opensuny.org/concise-introduction-to-logic/] -
-
public:
stevetao
Free Online Logic Textbooks
[https://www.scivillage.com/thread-2416.html] -
-
public:
stevetao
Logic Primer Files — Teller Logic Primer
[https://tellerprimer.ucdavis.edu/pdf/] -
-
public:
stevetao
the forall x homepage
[https://www.fecundity.com/logic/] -
-
public:
stevetao
Open Logic Project | Open Source, Customizable, Advanced Logic Text
[http://openlogicproject.org/] -
-
public:
stevetao
Cse371, Math371 LOGIC
[https://www3.cs.stonybrook.edu/~cse371/] -
-
public:
stevetao
Automated Theorem Proving, Prolegomena on Propositional Logic
[https://pqnelson.github.io/2015/02/07/prolegomena-prop-logic.html] -
-
public:
stevetao
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
[http://fitelson.org/ar.html] -
-
public:
stevetao
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
Web Pages Associated with Papers of William McCune
[https://www.cs.unm.edu/~mccune/papers/] -
-
public:
stevetao
meredith - Metamath Proof Explorer
[http://us.metamath.org/mpegif/meredith.html] -
-
public:
stevetao
Viewing 101 - 141, 41 links out of 141 links, page: 3
Follow Tags
Manage