TY  - BOOK
AU  - Carnielli Walter
AU  -  Coniglio Marcelo
AU  -  Gabbay Dov M
AU  -  Gouveia Paula
AU  -  Sernadas Cristina
TI  - Analysis and synthesis of logics:how to cut and paste reasoning systems
T2  - Applied logic series, 35
SN  - 9781402067815 (hbd)
U1  - B217, P8 
PY  - 2008///
CY  - Berlin
PB  - Springer       
KW  -  Logic
KW  - Mathematics
N1  - Bibliography 559-578p.; Index 579-600p
ER  -