3 books • 2 series
Book #402: Stability, Instability, and Direct Integrals
Book #212: Proof Theory and Intuitionistic Systems