"Analysis and synthesis of logics: how to cut and paste reasoning systems" - читать интересную книгу автора (Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina...)