Depth-bounded Reasoning. Classical Propositional Logic by Marcello D'Agostino
21,61 €
This approach leads to defining, in a natural way, a sequence of tractable depth-bounded deduction systems.
Jetzt bei Ebay:
