Analysis and synthesis of logics:how to cut and paste reasoning systems - Carnielli Walter; Coniglio Marcelo; Gabbay Dov M; Gouveia Paula; Sernadas Cristina (Berlin Springer, 2008)
Bibliography 559-578p.; Index 579-600p.
Keywords: Logic; Mathematics