Mathematical Logic
by Joseph R. Shoenfield · Ian Chiswell, Wilfrid Hodges
Shoenfield's 1967 graduate text develops first-order logic from syntax and semantics through the completeness theorem, then model theory, recursion theory, the incompleteness theorems, and set theory. Terse and demanding; expect to reconstruct omitted steps yourself.
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Logic
Gödel, Escher, Bach: An Eternal Golden Braid
Pulitzer Prize-winning exploration of consciousness, artificial intelligence, and meaning through connections between mathematics, art, music, and formal systems.
Book of Proof
Essential introduction to mathematical proof techniques covering logic, sets, relations, functions, and various proof methods for pure mathematics.
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
proofwiki.org
ProofWiki is a free, collaboratively edited online collection of mathematical proofs, theorems, and definitions organized by technique. It provides step-by-step proofs and explanations of proof strategies (such as induction, contradiction, and contrapositive) across a wide range of mathematical topics.
plato.stanford.edu
The Stanford Encyclopedia of Philosophy is a peer‑reviewed online encyclopedia of philosophy featuring in‑depth, scholarly articles written and regularly updated by experts, including comprehensive coverage of logic topics.
Logic II (MIT 24.242)
Computability theory followed by a detailed study of Gödel's incompleteness theorems and their applications, including Church's undecidability theorem and Tarski's theorem on the undefinability of truth. Lecture notes and problem sets with solutions let learners work through these proofs themselves.