Carnielli, Walter. <br/><br/>
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 ; .
<br/><br/><label>ISBN: </label>9781402067822 (electronic bk.) 9781402067815 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Mathematics.<br/>Logic.<br/>Mathematical Logic and Formal Languages.<br/>Mathematical Logic and Foundations.
<br/><br/><label>Dewey Class. No.: </label>511.3