APA (7th ed.) Citation

Carnielli, W. A., Coniglio, M. E., Gabbay, D. M., Gouveia, P., & Sernadas, C. (2008). Analysis and synthesis of logics: How to cut and paste reasoning systems. Springer. https://doi.org/10.1007/978-1-4020-6782-2

Chicago Style (17th ed.) Citation

Carnielli, Walter Alexandre, Marcelo Esteban Coniglio, Dov M. Gabbay, Paula Gouveia, and Cristina Sernadas. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Dordrecht: Springer, 2008. https://doi.org/10.1007/978-1-4020-6782-2.

MLA (9th ed.) Citation

Carnielli, Walter Alexandre, et al. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer, 2008. https://doi.org/10.1007/978-1-4020-6782-2.