Introduction to Mathematical Logic
by Elliott Mendelson · Elliott Mendelson
Mendelson's standard graduate-level treatment of first-order logic, formal systems, and computability. Working through it gives you the completeness and incompleteness theorems, axiomatic set theory, and recursive functions, with proofs stated in full and exercises throughout.
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.