Logic and set theory

Best logic and set theory books and tools

Resources for Logic and set theory under Mathematics. Pair these picks with articles on thestemprofessor.com.

• A Mathematical Introduction to Logic (Herbert Enderton) — Standard logic text through incompleteness.
• Naive Set Theory (Paul Halmos) — Short classic on sets and ordinals.
• How to Prove It (Daniel Velleman) — Proof techniques bridge before formal logic.
• Set Theory and Logic (Robert Stoll) — Combined set theory and symbolic logic reference.
• STEM lab notebook (grid + ruled) — Keep lab notes, units, and sketches in one place.
• Index cards for formulas and terms — Quick review between lectures and problem sets.