mathworld.wolfram.com
Unknown
MathWorld is Wolfram Researchâs comprehensive online mathematics encyclopedia, offering detailed articles on a wide range of topicsâincluding logic and foundationsâwith definitions, explanations, formulas, diagrams, and references.
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.