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. 
 -  v.: digital 
 - Applied Logic Series,  35  1386-2790 ; .
<br/><br/><label>ISBN: </label>9781402067822 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics<br/>Logic<br/>Computer science<br/>Logic, Symbolic and mathematical<br/>Mathematics<br/>Mathematical Logic and Foundations<br/>Logic<br/>Mathematical Logic and Formal Languages
<br/><br/><label>LC Class. No.: </label>QA9  / C37 2008