Formal and mathematical logic books
Formal and mathematical logic books to start from. Open one to see books like it, or tell BookSense what you loved for four picks made for you.
Ask anything about formal and mathematical logic, or tap a question.
Start here
New to the genre? These 5 are the books to read first.
A Mathematical Introduction to Logic
Herbert B. EndertonA standard textbook covering propositional and first-order logic, completeness, and Gödel's theorems, written for mathematics students.
Methods of Logic
Willard Van Orman QuineA compact, philosophically minded introduction to truth-functional and predicate logic, with a clear account of proof procedures.
Computability and Logic
John P. BurgessA widely used text linking first-order logic, Gödel's results, and computability theory, with a strong focus on undecidability.
Introduction to Mathematical Logic
Elliott MendelsonA rigorous graduate-level text covering propositional and predicate logic, set theory, and recursion theory.
Mathematical Logic
Joseph R. ShoenfieldA concise and influential text on the metamathematics of first-order logic and related theories.
Chosen and described with AI from our notes on the genre.
More formal and mathematical logic books
- Principia Mathematica
Principia MathematicaBertrand Russell - Introduction to Metamathematics (Bibliotheca Mathematica)
Introduction to Metamathematics (Bibliotheca Mathematica)S.C. Kleene - Grundzüge der Theoretischen LogikGrundzüge der Theoretischen LogikWalter Ackermann
- Introduction To Mathematical Logic Vol 1Introduction To Mathematical Logic Vol 1Alonzo Church
- The Laws of ThoughtThe Laws of ThoughtGeorge Boole
- An Introduction to Non-Classical Logic (Cambridge Introducti
An Introduction to Non-Classical Logic (Cambridge Introductions to Philosophy)Graham Priest2008