2 books • 1 series
Book #21: Goal-Directed Proof Theory
Book #35: Analysis and Synthesis of Logics
Book #36: Proof Theory for Fuzzy Logics