To simplify our proof system, we can restrict the form or our logic sentences to a subset of all WFFs. This allows us to write more efficient algorithms, since they need only work with inputs of a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results