"Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic)" - читать интересную книгу автора (Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina...)