3 books • 4 series
Book #3: Fine Structure and Iteration Trees
Book #811: Recursion on the Countable Functionals