Carnielli, Walter.

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

QA9 / C37 2008