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 Netherlands, 2008. - digital. - Applied Logic Series, 35 1386-2790 ; . - Applied Logic Series, 35 .
9781402067822
10.1007/978-1-4020-6782-2 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Logic.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3
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 Netherlands, 2008. - digital. - Applied Logic Series, 35 1386-2790 ; . - Applied Logic Series, 35 .
9781402067822
10.1007/978-1-4020-6782-2 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Logic.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3