Carnielli, Walter ...[et al.]  <br/><br/>
Analysis and synthesis of logics   how to cut and paste reasoning systems  
Carnielli, Walter ...[et al.]  
 -   Springer  2008 
<br/><br/><label>Dewey Class. No.: </label>511.3  / T08 CAR.C