4 books • 3 series
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Memoirs of the American Mathematical Society)
Slicing the Truth
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, #28)
Algorithmic Randomness and Complexity (Theory and Applications of Computability)