ocw.mit.edu
Unknown
MIT OpenCourseWare provides free, openly licensed course materials from MIT across a wide range of disciplines. It hosts lecture notes, problem sets, exams, and video lectures from actual MIT courses, enabling self-paced learningâincluding courses related to logical foundations of mathematics.
More resources on Logical Foundations of Mathematics
nLab: Foundations of Mathematics
Modern perspectives including HoTT
Mathematical Logic Playlist
Introductory series on logic foundations from Reddit recs
Introduction to Mathematical Logic
Learn the foundations of mathematical logic with this introductory course by Scott Aaronson. Explore the logical basis of mathematics!
Mathematical Logic
Learn mathematical logic with Hans-Peter Beck! Explore the logical foundations of mathematics in this comprehensive course.
How to Prove It - Daniel J. Velleman
A clear, step-by-step transition from computational math to proof-based math, focusing on logic and set theory.
plato.stanford.edu
Stanford Encyclopedia of Philosophy is a peerâreviewed, open online encyclopedia of philosophy with inâdepth, expertâwritten articles. It covers logical foundations of mathematics (logic, set theory, model theory, type theory) and related topics, each with extensive bibliographies.