Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
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. - xvi, 600 p. : ill., digital ; 25 cm. - Applied Logic Series, 35 1386-2790 ; .
9781402067822 (electronic bk.) 9781402067815 (paper)
Logic, Symbolic and mathematical.
Mathematics.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
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 Science+Business Media B.V., 2008. - xvi, 600 p. : ill., digital ; 25 cm. - Applied Logic Series, 35 1386-2790 ; .
9781402067822 (electronic bk.) 9781402067815 (paper)
Logic, Symbolic and mathematical.
Mathematics.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
511.3