Analysis and synthesis of logics  how to cut and paste reasoning systems /  [recurso electrónico] : 
Walter Carnielli ... [et al.] 
 - Dordrecht :  Springer,  2008 
 - xvi, 600 p. :  il. 
 - Applied logic series  v. 35 .
<br/><br/> Acceso sólo para usuarios de REDUNAM 
<br/><br/><br/>Reproducción electrónica. <br/>New York : Springer, <br/>[2009] 
<br/><br/><label>ISBN: </label>9781402067822 (libro electrónico) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.
<br/><br/><label>LC Class. No.: </label>QA9  / A5115 2008le