4 books • 3 series
Book #42: Vollstandige Systeme Modaler und Intuitionistischer Logik
Book #225: Proof Theory