| Computability Theory | Authors | Type |
|---|---|---|
| Classical Recursion Theory Vol I, II | P.G. Odifreddi | Encyclopedic |
| Turing Computability - Theory and Applications | Robert I. Soare | Normal |
| Recursively Enumerable Sets and Degrees | Robert I. Soare | Normal |
| Theory of Recursive Functions and Computability | Hartley Rogers, Jr. | Normal |
| Computability Theory | Barry Cooper | Introductory |
| Computability: an introduction | Nigel Cutland | Introductory |
| Recursion theory for metamathematics | Raymond M. Smullyan | Medium |
| Degrees and Hierarchies | Authors | Type |
|---|---|---|
| Recursion-Theoretic Hierarchies | Peter Hinman | Normal |
| Recursively Enumerable Sets and Degrees | Robert I. Soare | Normal |
| Degrees of Unsolvability: Structure and Theory | Richard .L Epstein | Specialized |
| Degrees of Unsolvabilίty | Manuel Lerman | Specialized |
| Degrees of Unsolvability | Joseph R. Shoenfield | Specialized |
| Higher recursion theory | Authors | Type |
|---|---|---|
| Computable Structures and Hyperarithmetical Hierarchy | C.J. Ash and J. Knight | Normal |
| Higher Recursion Theory | Gerald E.Sacks | Normal |
| Recursion Theory | Chi Tat Chong, Liang Yu | Normal |
| Algorithmic Randomness | Authors | Type |
|---|---|---|
| Algorithmic Randomness and Complexity | Rodney G. Downey, Denis R. Hirschfeldt | Encyclopedic |
| Computability and Randomness | Andre Nies | Encyclopedic |
| Kolmogorov Complexity and Algorithmic Randomness | A. Shen, V.A. Uspensky, N. Vereshchagin | Normal |
| Kolmogorov Complexity and Its Applications | Paul Vitanyi | Encyclopedic |
| Mathematical Logic | Authors | Type |
|---|---|---|
| A Mathematical Introduction to Logic | Herbert B. Enderton | Introductory |
| Modern Mathematical Logic | Joseph Mileti | Introductory |
| A Beginner's Guide to Mathematical Logic | Raymond M. Smullyan | Introductory |
| Computability Theory | Barry Cooper | Introductory |
| Computability: an introduction | Nigel Cutland | Introductory |
| Computability Theory: an introduction | Herbert B. Enderton | Introductory |
| Reverse Mathematics and Structures | Authors | Level |
|---|---|---|
| Slicing the truth: Reverse Mathematics of Combinatorics | Denis R. Hirschfeldt | Normal |
| Reverse Mathematics: proofs from the inside out | John Stillwell | Introductory |
| Subsystems of Second Order Arithmetic | Stephen Simpson | Encyclopedic |
| Computable Structure Theory | Antonio Montalban | Normal |
| Computable Structures and Hyperarithmetical Hierarchy | C.J. Ash and J. Knight | Normal |