Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / [electronic resource] :
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
- Dordrecht : Springer Science+Business Media B.V., 2008.
- v.: digital
- Applied Logic Series, 35 1386-2790 ; .
9781402067822
Mathematics Logic Computer science Logic, Symbolic and mathematical Mathematics Mathematical Logic and Foundations Logic Mathematical Logic and Formal Languages