Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
tim button
[http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html] -
-
public:
stevetao
forall x: Calgary
[http://forallx.openlogicproject.org/] -
-
public:
stevetao
A Problem Course in Mathematical Logic
[http://euclid.trentu.ca/math/sb/pcml/pcml.html] -
-
public:
stevetao
Books
[https://web.math.princeton.edu/~nelson/books.html] -
-
public:
stevetao
- Wikibooks, open books for an open world
[https://en.wikibooks.org/wiki/Formal_Logic] -
-
public:
stevetao
Introduction to Mathematical Philosophy | Bertrand Russell
[http://people.umass.edu/klement/russell-imp.html] -
-
public:
stevetao
The Haskell Road to Logic, Maths and Programming
[https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/] -
-
public:
stevetao
The Principles Of Mathematics : Bertrand Russell : Free Download, Borrow, and Streaming : Internet Archive
[https://archive.org/details/principlesofmath005807mbp/page/n5/mode/2up] -
-
public:
stevetao
[math/9601203v1] Introduction to mathematical logic - A problem solving course
[https://arxiv.org/abs/math/9601203v1] -
-
public:
stevetao
Hardegree - Philosophy 110
[http://courses.umass.edu/phil110-gmh/MAIN/IHome-5.htm] -
-
public:
stevetao
Phil 310 Website
[http://courses.umass.edu/phil310-gmh/MAIN/IHome-4.htm] -
-
public:
stevetao
Nuel Belnap
[http://www.pitt.edu/~belnap/] -
-
public:
stevetao
Jeremy Avigad's Home Page
[https://www.andrew.cmu.edu/user/avigad/] -
-
public:
stevetao
Logic for Computer Scientists - Wikibooks, open books for an open world
[https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists] -
-
public:
stevetao
Logic for Computer Science - Wikibooks, open books for an open world
[https://en.wikibooks.org/wiki/Logic_for_Computer_Science] -
-
public:
stevetao
Introduction to Mathematical Logic (Edition 2014)
[https://dspace.lu.lv/dspace/handle/7/2777] -
-
public:
stevetao
What is Mathematics: Gödel's Theorem and Around (Edition 2013)
[https://dspace.lu.lv/dspace/handle/7/1442] -
-
public:
stevetao
A Friendly Introduction to Mathematical Logic – Minerva
[https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/] -
-
public:
stevetao
Simpson: Home Page
[http://www.personal.psu.edu/t20/] -
-
public:
stevetao
Actual Causality
[https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html] -
-
public:
stevetao
Mathematical Logic Free Online Courses and MOOCs | MOOC List
[https://www.mooc-list.com/tags/mathematical-logic] -
-
public:
stevetao
Free Online Course: Mathematical Logic and Algorithms Theory from iversity | Class Central
[https://www.classcentral.com/course/iversity-mathematical-logic-and-algorithms-theory-6116] -
-
public:
stevetao
Christopher John Ash 1945-1995 | Australian Academy of Science
[https://www.science.org.au/fellowship/fellows/biographical-memoirs-1/christopher-john-ash-1945-1995] -
-
public:
stevetao
first order logic - What is the operator precedence for quantifiers? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/1150746/what-is-the-operator-precedence-for-quantifiers] -
-
public:
stevetao
Derivation of Null Quantification in Logic? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/850887/derivation-of-null-quantification-in-logic] -
-
public:
stevetao
Mathematical Logic and The Programming: EBNF and Boost.Spirit
[http://mathlogicprogs.blogspot.com/2008/11/ebnf-and-boostspirit.html] -
-
public:
stevetao
Representation - propositional logic
[https://ermongroup.github.io/cs323-notes/logic/representation/] -
-
public:
stevetao
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
Accueil - Étienne MIQUEY
[https://www.irif.fr/~emiquey/these/] -
-
public:
stevetao
Logic in Action
[http://www.logicinaction.org/] -
-
public:
stevetao
propositionFunction
[http://www.personal.kent.edu/~rmuhamma/Philosophy/Logic/SymbolicLogic/7-propositionfunction.htm] -
-
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
cse541 Logic for Computer Science
[https://www3.cs.stonybrook.edu/~cse541/] -
-
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
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
Viewing 51 - 100, 50 links out of 118 links, page: 2
Follow Tags
Manage