Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Carnielli Walter Innbundet / 2008 / Engelsk
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems Carnielli Walter Heftet / 2010 / Engelsk
