plato.stanford.edu
Unknown
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.
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.
Foundations of Mathematics
Foundations of Mathematics - A book resource