Logic and Proofs
Open Logic Team
Learn mathematical logic and master the art of proofs with this comprehensive course from the Open Logic Team.
More resources on Mathematical Logic
Open Logic Project
Free open textbooks on logic topics
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.