Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2008)
Keywords: Mathematics; Logic; Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Logic; Mathematical Logic and Formal Languages