TY  - DATA
AU  - Carnielli,Walter Alexandre
ED  - SpringerLink (servicio en línea)
TI  - Analysis and synthesis of logics: how to cut and paste reasoning systems 
T2  - Applied logic series
SN  - 9781402067822 (libro electrónico)
AV  - QA9 A5115 2008le
PY  - 2008///
CY  - Dordrecht
PB  - Springer
KW  - Lógica simbólica y matemática
KW  - Libros electrónicos
KW  - local
N1  - Acceso sólo para usuarios de REDUNAM; Reproducción electrónica; New York : Springer; [2009]
UR  - http://dx.doi.org/10.1007/978-1-4020-6782-2
ER  -