Analysis and synthesis of logics how to cut and paste reasoning systems - Carnielli, Walter Alexandre 1952-; Coniglio, Marcelo Esteban; Gabbay, Dov M. 1945-; Gouveia, Paula; Sernadas, Cristina (Springer, 2008)
Keywords: Mathematische Logik