3 books • 2 series
Book #21: Goal-Directed Proof Theory
Book #35: Analysis and Synthesis of Logics
Book #36: Proof Theory for Fuzzy Logics
Book #12: Modalities and Multimodalities
Book #40: Paraconsistent Logic: Consistency, Contradiction and Negation