Introduction to Logic
Michael Genesereth, Toby Walsh
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
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.