5 books • 2 series
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
A Mathematical Primer on Linear Optimization
A Mathematical Primer on Computability
Fundamentos De Logica E Teoria Da Computacao
Analysis and Synthesis of Logics (Applied Logic, #35)