propositional logic davis putnam
Tout plus