Search
Results
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
Yiannis N. Moschovakis Books
Lewis Carroll's Logic Game (an introduction)
The Game of Logic by Lewis Carroll - Free Ebook
The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll
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
Mathematical logic reconstructed PDF download
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
A.Miller - Math
Mathematical Logic through Python
The Zakon Series on Mathematical Analysis by Elias Zakon
The Complexity of Boolean Functions
[https://eccc.weizmann.ac.il//static/books/The_Complexity_of_Boolean_Functions/] - - public:stevetao
Proofs and Concepts
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)
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
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