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