Search
Results
Let Over Lambda
Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc. - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Simply Logical : Intelligent Reasoning by Example
Elementary Calculus
Set Theory by William Weiss
Model Theory, Algebra, and Geometry
Elementary Set Theory with a Universal Set
Model-Theoretic Logics
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
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
For All X, the Lorain County Remix | A free, open-access introductory logic text
Edward Elliott - Teaching - Edward Elliott (forall x: Leeds)
forallx: SLU (Saint Louis University)
Teaching - Cathal Woods (Logic)
GitHub - rob-helpy-chalk/openintroduction: files for For All X: The Lorain County Remix
forall x: UBC edition — Jonathan Jenkins Ichikawa
tim button
forall x: Calgary
A Problem Course in Mathematical Logic
Books
- Wikibooks, open books for an open world
Introduction to Mathematical Philosophy | Bertrand Russell
The Haskell Road to Logic, Maths and Programming
The Principles Of Mathematics : Bertrand Russell : Free Download, Borrow, and Streaming : Internet Archive
[math/9601203v1] Introduction to mathematical logic - A problem solving course
Hardegree - Philosophy 110
Phil 310 Website
Nuel Belnap
Jeremy Avigad's Home Page
Logic for Computer Scientists - Wikibooks, open books for an open world
Logic for Computer Science - Wikibooks, open books for an open world
Introduction to Mathematical Logic (Edition 2014)
What is Mathematics: Gödel's Theorem and Around (Edition 2013)
A Friendly Introduction to Mathematical Logic – Minerva
Simpson: Home Page
Actual Causality
Mathematical Logic Free Online Courses and MOOCs | MOOC List
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
An almost one-liner to construct the Mandelbrot set with Mathematica | A blog on science
Camera View Matrix
[https://stackoverflow.com/questions/28075743/how-do-i-compose-a-rotation-matrix-with-human-readable-angles-from-scratch/28084380#28084380] - - public:amedlock
Essential Math for gamedev
BetterExplained – Math lessons that click - BetterExplained – Math lessons for lasting insight.
Welcome to stixfonts | Scientific and Technical Information Exchange (STIX)
GitHub - alif-type/xits: XITS - OpenType implementation of STIX fonts with math support
GitHub - alerque/libertinus: Libertinus font family
Which OpenType Math fonts are available? - TeX - LaTeX Stack Exchange
[https://tex.stackexchange.com/questions/425098/which-opentype-math-fonts-are-available] - - public:stevetao