Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery Magnani Lorenzo Heftet / 2012 / Engelsk
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery Magnani Lorenzo Innbundet / 2010 / Engelsk
Paraconsistent Logic: Consistency, Contradiction and Negation Carnielli Walter Innbundet / 2016 / Engelsk
Paraconsistent Logic: Consistency, Contradiction and Negation Carnielli Walter Heftet / 2018 / Engelsk
Paraconsistency The Logical Way to the Inconsistent Carnielli Walter Alexandr Innbundet / 2019 / Engelsk
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
