Open Logic Project
Unknown
Free open textbooks on logic topics
More resources on Mathematical Logic
Ancient Greek Philosophy and Mathematics
Explore mathematical logic through the lens of Ancient Greek philosophy with Dr. Lee Perlman. Discover key concepts & historical context.
Logic II
Explore advanced mathematical logic with Prof. McGee's Logic II course. Delve into incompleteness, model theory, and set theory.
Paradox and Infinity
Explore mathematical logic's fascinating side: paradoxes and infinity! Learn key concepts with Prof. Agustín Rayo's course.
Category Theory for Scientists
Explore mathematical logic with Dr. Spivak's "Category Theory for Scientists" course. Learn category theory and its applications in science.
Simplicity Theory
Explore mathematical logic with Dr. Ben-Yaacov's Simplicity Theory course. Learn advanced model theory and its applications.
Introduction to Analysis
Learn mathematical logic and rigorous proof techniques with Prof. Mattuck's Intro to Analysis course! Explore fundamental concepts & problem-solving.