Login / Signup

Extracting the resolution algorithm from a completeness proof for the propositional calculus.

Robert L. ConstableWojciech Moczydlowski
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases