×
  • Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

    Walter Carnielli Marcelo Coniglio Dov M. Gabbay Paula Gouveia Cristina Sernadas

Click on cover to enlarge.
14 - 16Hours to read