3 books • 1 series
Logic and Computation
Elementos de Matematica Discreta
Analysis and Synthesis of Logics (Applied Logic, #35)