Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
Mathematics 187 - Introduction to Mathematical Logic
[https://services.math.duke.edu/~wka/math187/] -
-
public:
stevetao
Mathematical logics Fall 2014 - Exams - University of Trento
[https://disi.unitn.it/~ldkr/ml2014/lessons.html] -
-
public:
stevetao
Single axioms for BCI
[https://web.ics.purdue.edu/~dulrich/BCI-page.htm] -
-
public:
stevetao
________
[https://astunit.com/books/Maths.htm] -
-
public:
stevetao
Comprehensive List of Logic Symbols | Math Vault
[https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/] -
-
public:
stevetao
201117 Mathematics and Science in Civilization
[http://math.science.cmu.ac.th/kettapun/201117/201117-2557-Term1/201117-2557Term1.htm] -
-
public:
stevetao
PANTIP.COM : K5383822 มาลองทำโจทย์คณิตศาสตร์ตามแบบไทยแท้กันครับ [ประวัติศาสตร์]
[http://topicstock.pantip.com/library/topicstock/2007/05/K5383822/K5383822.html] -
-
public:
stevetao
Philosophy of Mathematics and Its Logic: Introduction - Oxford Handbooks
[https://www.oxfordhandbooks.com/view/10.1093/oxfordhb/9780195325928.001.0001/oxfordhb-9780195325928-e-1] -
-
public:
stevetao
List of free mathematics books | Math Wiki | Fandom
[https://math.wikia.org/wiki/List_of_free_mathematics_books] -
-
public:
stevetao
Yiannis N. Moschovakis Books
[https://www.math.ucla.edu/~ynm/books.htm] -
-
public:
stevetao
Lewis Carroll's Logic Game (an introduction)
[https://www.cut-the-knot.org/LewisCarroll/index.shtml] -
-
public:
stevetao
The Game of Logic by Lewis Carroll - Free Ebook
[http://www.gutenberg.org/ebooks/4763] -
-
public:
stevetao
The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll
[http://www.gutenberg.org/files/4763/4763-h/4763-h.htm] -
-
public:
stevetao
Newest Free mathematics / logic Books | BookFusion
[https://www.bookfusion.com/books/free?language=_all&query=mathematics+%2F+logic&sort=created_at-desc] -
-
public:
stevetao
Links on logic and the foundations of mathematics
[http://settheory.net/links] -
-
public:
stevetao
Mathematical logic reconstructed PDF download
[http://www.topology.org/tex/conc/mlstats.php] -
-
public:
stevetao
soft question - Reading materials for mathematical logic - MathOverflow
[https://mathoverflow.net/questions/33096/reading-materials-for-mathematical-logic] -
-
public:
stevetao
MATH 444 Senior Seminar: Mathematical Logic
[https://mileti.math.grinnell.edu/m444s16/schedule.html] -
-
public:
stevetao
A.Miller - Math
[https://www.math.wisc.edu/~miller/] -
-
public:
stevetao
Mathematical Logic through Python
[https://www.logicthrupython.org/] -
-
public:
stevetao
A Course in Algebraic Number Theory
[https://faculty.math.illinois.edu/~r-ash/ANT.html] -
-
public:
stevetao
MSRI
[http://library.msri.org/books/] -
-
public:
stevetao
Algorithmic Number Theory
[http://library.msri.org/books/Book44/contents.html] -
-
public:
stevetao
A Computational Introduction to Number Theory and Algebra
[https://shoup.net/ntb/] -
-
public:
stevetao
A Computational Introduction to Number Theory and Algebra - Open Textbook Library
[https://open.umn.edu/opentextbooks/textbooks/a-computational-introduction-to-number-theory-and-algebra] -
-
public:
stevetao
Elementary Number Theory
[https://wstein.org/ent/] -
-
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
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
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
Viewing 1 - 50, 50 links out of 166 links, page: 1
Follow Tags
Manage