951+ Free Math Books – Free Stuff – Medium [https://medium.com/free-stuff/free-math-books-a83aff081d89] - 2018-12-13 06:17:11 - public:stevetao Book, Math - 2 | id:229253 -
Good Logic books? : math [https://www.reddit.com/r/math/comments/4ew6k9/good_logic_books/] - 2018-12-12 09:48:43 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:229245 -
Teach Yourself Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters [https://www.logicmatters.net/tyl/] - 2018-12-12 09:06:58 - public:stevetao Book, Logic, Math, Math-Logic - 4 | id:229244 -
Free Mathematical Logic Books | Download free books legally [https://www.topfreebooks.org/free-mathematics-ebooks-online-mathematical-logic/] - 2018-12-12 09:03:09 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:229243 -
optimization - Convert a piecewise linear non-convex function into a linear optimisation problem. - Mathematics Stack Exchange [https://math.stackexchange.com/questions/1749509/convert-a-piecewise-linear-non-convex-function-into-a-linear-optimisation-proble] - 2018-12-11 10:18:36 - public:stevetao Linear-Programming, Math, Mathematical-Programming, Optimization, Piecewise - 5 | id:229153 -
Open Textbook Initiative | American Inst. of Mathematics [https://aimath.org/textbooks/] - 2018-12-06 17:17:29 - public:stevetao Book, Free, Math - 3 | id:229108 -
Mathematical Logic - Free Books at EBD [https://www.e-booksdirectory.com/listing.php?category=33] - 2018-12-05 18:57:24 - public:stevetao Book, Free, Logic, Math, Math-Logic - 5 | id:229093 -
Exercises for First-Order Logic - Intro to Logic - OpenStax CNX [https://cnx.org/contents/OD1Lhy17@20.20:Rq860IY2@28/Exercises-for-First-Order-Logic] - 2018-12-04 12:04:18 - public:stevetao Logic, Math, Math-Logic - 3 | id:229082 -
Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki · GitHub [https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks] - 2018-12-04 12:02:13 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229081 -
A Concise Introduction to Logic - Open SUNY Textbooks [https://textbooks.opensuny.org/concise-introduction-to-logic/] - 2018-12-04 12:01:40 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229080 -
Free Online Logic Textbooks [https://www.scivillage.com/thread-2416.html] - 2018-12-04 11:58:58 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229079 -
Logic Primer Files — Teller Logic Primer [https://tellerprimer.ucdavis.edu/pdf/] - 2018-12-04 11:58:44 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229078 -
the forall x homepage [https://www.fecundity.com/logic/] - 2018-12-04 11:56:43 - public:stevetao Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:229077 -
Open Logic Project | Open Source, Customizable, Advanced Logic Text [http://openlogicproject.org/] - 2018-12-04 11:53:36 - public:stevetao Book, Logic, Math, Math-Logic, Textbook - 5 | id:229076 -
Section 0.1: Computing in a Web Page: Basics [http://www.math.mtu.edu/mathlab/COURSES/holt/dnt/intro1.html] - 2018-12-03 17:22:42 - public:stevetao Computation, Course, Math - 3 | id:229062 -
Cse371, Math371 LOGIC [https://www3.cs.stonybrook.edu/~cse371/] - 2018-12-03 07:30:01 - public:stevetao Book, Course, Free, Logic, Math, Math-Logic - 6 | id:229060 -
Automated Theorem Proving, Prolegomena on Propositional Logic [https://pqnelson.github.io/2015/02/07/prolegomena-prop-logic.html] - 2018-12-03 07:28:01 - public:stevetao Automated-Theorem-Proving, Logic, Math, Math-Logic, Proof, Propositional-Logic - 6 | id:229059 -
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] - 2018-12-02 07:46:10 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:229051 -
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog [https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] - 2018-12-01 18:59:07 - public:stevetao Logic, Math, Math-Logic - 3 | id:229046 -
New Elegant Axiomatizations of Some Logics [http://fitelson.org/ar.html] - 2018-12-01 18:00:26 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:229045 -
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] - 2018-11-30 07:55:28 - public:stevetao Axiom, Logic, Math, Math-Logic, Prefix, Single-Axiom, Verify - 7 | id:226467 -
Web Pages Associated with Papers of William McCune [https://www.cs.unm.edu/~mccune/papers/] - 2018-11-29 11:41:41 - public:stevetao Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:226465 -
meredith - Metamath Proof Explorer [http://us.metamath.org/mpegif/meredith.html] - 2018-11-29 11:31:11 - public:stevetao Axiom, Logic, Math, Math-Logic, Meredith, Single-Axiom - 6 | id:226464 -
Discovering Number Theory [http://www.math.mtu.edu/mathlab/COURSES/holt/dnt/] - 2018-11-16 05:17:07 - public:stevetao Book, Math, Number-Theory - 3 | id:226267 -
Chance Welcome Page [https://www.dartmouth.edu/~chance/] - 2018-10-23 13:53:19 - public:stevetao Math, Probability - 2 | id:187018 -
combinatorics - TicTacToe State Space Choose Calculation - Mathematics Stack Exchange [https://math.stackexchange.com/questions/485752/tictactoe-state-space-choose-calculation] - 2018-09-28 08:11:14 - public:stevetao Combinatorics, Math, TicTacToe - 3 | id:184530 -
