Carnielli Walter <br/><br/>
Analysis and synthesis of logics:how to cut and paste reasoning systems 

 - Berlin  Springer         2008 
 - xvi, 600p.  cm. 
 - Applied logic series, 35 .
<br/><br/> Bibliography 559-578p.; Index 579-600p. 
<br/><br/><label>ISBN: </label>9781402067815 (hbd) 
<br/><br/><label>Standard No.: </label>83716 
<br/><br/><label>Source: </label> 0184, 23/03/2009, Insat Books & Periodicals  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Logic<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>B217, P8