Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
Free Elementary Number Theory Open Textbook Released Under CC BY | Saylor Academy
[https://www.saylor.org/2013/05/blog-free-elementary-number-theory-open-textbook-released-under-cc-by/] -
-
public:
stevetao
Elementary Number Theory
[https://wstein.org/ent/] -
-
public:
stevetao
A Friendly Introduction to Number Theory
[http://www.math.brown.edu/johsilve/frint.html] -
-
public:
stevetao
The Zakon Series on Mathematical Analysis by Elias Zakon
[http://www.trillia.com/products.html] -
-
public:
stevetao
The Complexity of Boolean Functions
[https://eccc.weizmann.ac.il//static/books/The_Complexity_of_Boolean_Functions/] -
-
public:
stevetao
Mathematical Analysis I - Real Analysis for Undergraduates - The Trillia Group
[http://www.trillia.com/zakon-analysisI.html] -
-
public:
stevetao
Book of Proof
[http://www.people.vcu.edu/~rhammack/BookOfProof/] -
-
public:
stevetao
Proofs and Concepts
[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html] -
-
public:
stevetao
An introduction to logic programming through Prolog - Spivey's Corner
[http://spivey.oriel.ox.ac.uk/corner/An_introduction_to_logic_programming_through_Prolog] -
-
public:
stevetao
A Gentle Introduction to the Art of Mathematics (GIAM)
[https://osj1961.github.io/giam/] -
-
public:
stevetao
Let Over Lambda
[https://letoverlambda.com/index.cl/toc] -
-
public:
stevetao
Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc. - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
[https://freecomputerbooks.com/mathLogicBooks.html] -
-
public:
stevetao
Simply Logical : Intelligent Reasoning by Example
[http://people.cs.bris.ac.uk/~flach/SimplyLogical.html] -
-
public:
stevetao
Elementary Calculus
[http://www.math.wisc.edu/~keisler/calc.html] -
-
public:
stevetao
Set Theory by William Weiss
[http://www.math.utoronto.ca/weiss/set_theory.html] -
-
public:
stevetao
Model Theory, Algebra, and Geometry
[http://library.msri.org/books/Book39/contents.html] -
-
public:
stevetao
Elementary Set Theory with a Universal Set
[https://randall-holmes.github.io/] -
-
public:
stevetao
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
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 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
Actual Causality
[https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html] -
-
public:
stevetao
Ubuntu 20.04 Essentials – Answertopia
[https://www.answertopia.com/ubuntu/ubuntu-essentials/] -
-
public:
stevetao
Free Programming Books – GoalKicker.com
[https://goalkicker.com/?fbclid=IwAR2y6a2La8IhHD4XCUJnZKg1FOtweGaHCl7s_CJ8PtqbvHNaxZMPpipKVTE] -
-
public:
stevetao
Ebook | Wall Street English Thailand - Best place to learn English Language. เรียนภาษาอังกฤษ สอนภาษาอังกฤษ
[https://www.wallstreetenglish.in.th/online-ebook/?utm_source=Facebook&utm_campaign=%7CLIQUIDITY%7CDA%3A20200719%7CLT%3AAll%7CAT%3AFacebook_Image_Square_Link_Ads%7COB%3AConversion%7CCN%3AEbook_for_100_Percent_Online%7CDV%3AAll&utm_medium=Facebook_Ads&utm_c] -
-
public:
stevetao
Learn to Code HTML & CSS - Beginner & Advanced
[https://learn.shayhowe.com/] -
-
public:
stevetao
Natural Language Processing Techniques in Prolog
[http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/index.html] -
-
public:
stevetao
开放图书 - 灰狐
[https://book.huihoo.com/] -
-
public:
stevetao
Viewing 151 - 200, 50 links out of 371 links, page: 4
Follow Tags
Manage