Cristina Sernadas
5 books • 2 series
Applied Logic
Book #21: Goal-Directed Proof Theory
Book #35: Analysis and Synthesis of Logics
Book #36: Proof Theory for Fuzzy Logics