Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
Model-Theoretic Logics
[https://projecteuclid.org/euclid.pl/1235417263#toc] -
-
public:
stevetao
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
[https://www.unco.edu/nhs/mathematical-sciences/faculty/miller/] -
-
public:
stevetao
Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
[http://www.logicmatters.net/tyl/] -
-
public:
stevetao
reference request - Online lectures for a first course in mathematical logic - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/690214/online-lectures-for-a-first-course-in-mathematical-logic] -
-
public:
stevetao
forall x: the Mississippi State edition – Dragon Philosophy
[http://blog.loighic.net/forallx-the-mississippi-state-edition] -
-
public:
stevetao
For All X, the Lorain County Remix | A free, open-access introductory logic text
[https://forallxremix.org/] -
-
public:
stevetao
Edward Elliott - Teaching - Edward Elliott (forall x: Leeds)
[http://www.edwardjrelliott.com/misc-resources.html] -
-
public:
stevetao
forallx: SLU (Saint Louis University)
[http://www.klindeman.com/forallx.html] -
-
public:
stevetao
Teaching - Cathal Woods (Logic)
[https://sites.google.com/site/cathalwoods/teaching] -
-
public:
stevetao
GitHub - rob-helpy-chalk/openintroduction: files for For All X: The Lorain County Remix
[https://github.com/rob-helpy-chalk/openintroduction] -
-
public:
stevetao
forall x: UBC edition — Jonathan Jenkins Ichikawa
[http://jichikawa.net/forall-x-ubc-edition] -
-
public:
stevetao
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
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
A picture of logic, between mathematics and philosophy | Joel David Hamkins
[http://jdh.hamkins.org/a-picture-of-logic-between-mathematics-and-philosophy/] -
-
public:
stevetao
Logic, Non-Classical | Encyclopedia.com
[https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/logic-non-classical] -
-
public:
stevetao
Teaching: Non-classical logic
[http://michaelde.com/teaching/non-classical_logic(duesseldorf)/non-classical_logic.html] -
-
public:
stevetao
Mathematics Notes
[https://coopersnotes.net/second_langmach.html] -
-
public:
stevetao
Introduction to Computing: Explorations in Language, Logic, and Machines
[http://computingbook.org/] -
-
public:
stevetao
600.325/425 - Declarative Methods - JHU CS
[http://cs.jhu.edu/~jason/325/] -
-
public:
stevetao
โจทย์ตรรกศาสตร์ค่ะ - Mathcenter Forum
[http://www.mathcenter.net/forum/showthread.php?t=7508] -
-
public:
stevetao
โจทย์ชวนคิด - MATH NARAK
[http://mathnarak.weebly.com/36503592360736183660359436233609358836363604.html] -
-
public:
stevetao
Logic & Proofs — Open & Free - OLI
[https://oli.cmu.edu/courses/logic-proofs-copy/] -
-
public:
stevetao
CS270 -- Mathematical Foundations in CS, Fall 2017
[https://www.cs.drexel.edu/~jjohnson/2017-18/fall/CS270/] -
-
public:
stevetao
CSE 482/CIS 582: Logic in Computer Science
[https://www.cis.upenn.edu/~alur/cse482.html] -
-
public:
stevetao
Lectures 11—13: Introduction to logic for verification
[http://www.cs.cornell.edu/courses/cs312/2008sp/lectures/logic.html] -
-
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
Logic Alphabet Home Page
[http://www.logic-alphabet.net/] -
-
public:
stevetao
Lecture Notes Philosophy 120A Autumn 2007 Introduction to Logic
[https://faculty.washington.edu/smcohen/120/LectureNotes.htm] -
-
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
Representation - propositional logic
[https://ermongroup.github.io/cs323-notes/logic/representation/] -
-
public:
stevetao
Viewing 51 - 100, 50 links out of 141 links, page: 2
Follow Tags
Manage