Books
Mathematical Logic
| Introductory Logic | Authors |
|---|---|
| Mathematical Introduction to Logic | H. B. Enderton |
| Modern Mathematical Logic | J. Mileti |
| Beginner's Guide to Logic | R. M. Smullyan |
| Computability Theory | B. Cooper |
| Computability: an introduction | N. Cutland |
| Computability Theory: an introduction | H. B. Enderton |
| Computability Theory | Authors |
|---|---|
| Classical Recursion Theory Vol I, II | P. G. Odifreddi |
| Turing Computability - Theory and Applications | R. I. Soare |
| Recursively Enumerable Sets and Degrees | R. I. Soare |
| Recursive Functions and Computability | H. Rogers, Jr. |
| Computability Theory | B. Cooper |
| Computability: an introduction | N. Cutland |
| Recursion theory for metamathematics | R. M. Smullyan |
| Algorithmic Randomness | Authors |
|---|---|
| Algorithmic Randomness and Complexity | Downey, Hirschfeldt |
| Computability and Randomness | A. Nies |
| Kolmogorov Complexity and Randomness | Shen, Uspensky, Vereshchagin |
| Kolmogorov Complexity and Applications | P. Vitanyi |
Specialized
| Degrees and Hierarchies | Authors |
|---|---|
| Recursion-Theoretic Hierarchies | P. Hinman |
| Recursively Enumerable Sets and Degrees | R. I. Soare |
| Degrees of Unsolvability: Structure and Theory | R. L. Epstein |
| Degrees of Unsolvability | M. Lerman |
| Degrees of Unsolvability | J. R. Shoenfield |
| Higher recursion theory | Authors |
|---|---|
| Higher Recursion Theory | G. E. Sacks |
| Recursion Theory | C. T. Chong, L. Yu |
| Reverse Math and Structures | Authors |
|---|---|
| Slicing the truth: Reverse Mathematics | D. R. Hirschfeldt |
| Reverse Mathematics: proofs from the inside out | J. Stillwell |
| Subsystems of Second Order Arithmetic | S. Simpson |
| Computable Structure Theory | A. Montalban |
| Computable Structures and Hyperarithmetical Hierarchy | C. J. Ash, J. Knight |
General reading
- Weapons of Math Destruction
- One, Two, Three...Infinity Zero
- Innumeracy: Mathematical Illiteracy
- Man Who Knew Infinity: Ramanujan
- How to Lie with Statistics
- Mathematical proofs and Discovery
- Code Book: The Science of Secrecy
- Letters to a Young Mathematician
- Weapons of Math Destruction
- e: the Story of a Number
- One, Two, Three...Infinity
- Zero: Biography of a Dangerous Idea
- Innumeracy: Mathematical Illiteracy
- The Man Who Knew Infinity: Ramanujan
- The Man of Numbers: Fibonacci's Revolution
- Beyond Infinity - Limits of Mathematics
- How to Lie with Statistics
- Gödel's Incompleteness Theorems
- Guided Tour Through Gödel’s Proof
- Rise of Mathematical Logic