TY  - DATA
AU  - Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
TI  - Analysis and Synthesis of Logics
SN  - 9781402067822
PY  - 2008///
PB  - Springer Netherlands
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-1-4020-6782-2
ER  -